Abstract state machines, alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, february 22-25, 2010. Proceedings.

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

Ejemplares similares