Stepwise Validation Of Formal Specifications

Authors Atif Mashkoor
J.-P. Jacquot
Title Stepwise Validation Of Formal Specifications
Booktitle Proceedings if the 18th Asia-pacific Software Engineering Conference (APSEC’11)
Type in proceedings
Publisher IEEE
Month December
Year 2011