Abstract state machines, alloy, B, VDM, and Z : third international conference, ABZ 2012, Pisa, Italy, june 18-21, 2012. Proceedings.

Detalles Bibliográficos
Formato: Artículo
Lenguaje:English
Acceso en línea:Ver documento en línea

Ejemplares similares