Abstract State Machines, Alloy, B, TLA, VDM, and Z: 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings (Lecture Notes in Computer Science, Band 8477)

Proceedings

von: Yamine Ait Ameur · Klaus-Dieter Schewe

Taschenbuch

ISBN-13: 978-3-662-43651-6

ISBN-10: 3-662-43651-5

Springer · 2014