Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael, Butler [ed.]; Klaus-Dieter, Schewe [ed.]; Atif, Mashkoor [ed.]; Miklos, Biro [Bíró, Miklós (Matematika és szá...), ed.]

English Scientific Conference proceedings (Book)
Published: Springer International Publishing, Zurich, Switzerland, 426 p. 2016
Conference: Abstract State Machines, Alloy, B, TLA, VDM, and Z
Series: Lecture Notes in Computer Science 0302-9743 1611-3349, 9675
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-11-28 10:15