Abstract state machines, alloy, B, TLA, VDM, and Z : 5th international conference, ABZ 2016, Linz, Austria, may 23-27, 2016, proceedings.

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

Ejemplares similares