-
Order Details
1
-
Confirm
2
Article Details
- Journal Title
- Advances in Software Engineering
- Volume
- 2011
- Article Title
- Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
- List of Authors
-
- Ann Q. Gates
- Steve Roach
- Matthew Engskow
- Article ID
- 869182
- Article Type
- Research Article
- No. of Pages
- 13 Pages
- Corresponding Author
- Salamah Salamah
- Additional Authors
Invoice Details
- Invoice Issue Date
- 4 May 2024
- Type of Reprints
- Colored, Covered
- Invoice Ref. No.
- Terms
- Payable upon Receipt
Charges
- No. of Copies
- Reprints Charges
- 0.00
- Total
- $