Stepwise Validation Of Formal Specifications

Autoren Atif Mashkoor
J.-P. Jacquot
Titel Stepwise Validation Of Formal Specifications
Buchtitel Proceedings if the 18th Asia-pacific Software Engineering Conference (APSEC’11)
Typ in Konferenzband
Verlag IEEE
Monat December
Jahr 2011