Abstract state machines, alloy, b, tla, vdm, and z :
Abstract state machines, alloy, b, tla, vdm, and z : 4th international conference, abz 2014, toulouse, france, june 2-6, 2014. Proceedings /
edited by Yamine Ait Ameur, Klaus-Dieter Schewe.
- xvi, 336 páginas : 93 ilustraciones
- Lecture Notes in Computer Science, 8477 0302-9743 ; .
Springer eBooks
Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements.
9783662436523
QA8.9-QA10.3
Springer eBooks
Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements.
9783662436523
QA8.9-QA10.3