Towards Support for Software Model Checking: Improving the Efficiency of Formal Specifications
Advances in Software Engineering
doi 10.1155/2011/869182
Full Text
Open PDFAbstract
Available in full text
Date
January 1, 2011
Authors
Publisher
Hindawi Limited