Journals
Publish with us
Publishing partnerships
About us
Blog

Advances in Software Engineering

Table of Contents

Advances in Software Engineering/
2011/
Article/
Fig 3 /

Research Article

Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications

Figure 3

Prospec's composite proposition screen.

869182.fig.003

About Us
Contact us
Partnerships
Blog

Journals
Article Processing Charges
Print editions

Authors
Editors
Reviewers
Partnerships

Hindawi XML Corpus
Open Archives Initiative
Fraud prevention

Follow us:

Terms of Service

Responsible Disclosure Policy

Modern slavery statement

Cookie Preferences