Stepwise Validation Of Formal Specifications

J. Jacquot. Stepwise Validation Of Formal Specifications. 12, 2011.

Autoren
  • J.-P. Jacquot
BuchProceedings if the 18th Asia-pacific Software Engineering Conference (APSEC’11)
TypIn Konferenzband
VerlagIEEE
Monat12
Jahr2011