Abstract state machines, alloy, B, TLA, VDM, and Z : 6th international conference, ABZ 2018, Southampton, UK, june 5–8, 2018, proceedings.
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783319912714 |
---|
Formato: | Artículo |
---|---|
Lenguaje: | English |
Acceso en línea: | Ver documento en línea |
ISBN: | 9783319912714 |
---|