Abstract state machines, alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010. Proceedings.
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783642118111 |
---|
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783642118111 |
---|