Stepwise Validation Of Formal Specifications

Autoren Atif Mashkoor
J.-P. Jacquot
TitelStepwise Validation Of Formal Specifications
BuchtitelProceedings if the 18th Asia-pacific Software Engineering Conference (APSEC’11)
Typin Konferenzband
VerlagIEEE
MonatDecember
Jahr2011