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 |
Ejemplares similares
- Abstract state machines, alloy, B, TLA, VDM, and Z : 6th international conference, ABZ 2018, Southampton, UK, june 5–8, 2018, proceedings.
- Abstract state machines, alloy, B, TLA, VDM, and Z : 4th international conference, ABZ 2014, Toulouse, France, june 2-6, 2014. Proceedings.
- Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012. Proceedings.
- Abstract state machines, alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010. Proceedings.
- Abstract state machines,B and Z : first international conference, ABZ 2008, London, UK, september 16-18, 2008. Proceedings.