Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014, Toulouse, France, june 2-6, 2014. Proceedings.
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783662436523 |
---|
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783662436523 |
---|