Abstract state machines, alloy, B, TLA, VDM, and Z : 5th international conference, ABZ 2016, Linz, Austria, may 23-27, 2016, proceedings.
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783319336008 |
---|
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783319336008 |
---|