Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012. Proceedings.
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783642308857 |
---|
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783642308857 |
---|