Related Books
Language: en
Pages: 348
Pages: 348
Type: BOOK - Published: 2014-05-29 - Publisher: Springer
This book constitutes the thoroughly refereed proceedings of the 4th International Conference on Abstract State Machines, B, TLA, VDM and Z, which took place in
Language: en
Pages: 438
Pages: 438
Type: BOOK - Published: 2018-05-14 - Publisher: Springer
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Sout
Language: en
Pages: 440
Pages: 440
Type: BOOK - Published: 2016-05-12 - Publisher: Springer
This book constitutes the refereed proceedings of the 5th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Linz
Language: en
Pages:
Pages:
Type: BOOK - Published: 2016 - Publisher:
Language: en
Pages: 186
Pages: 186
Type: BOOK - Published: 2014 - Publisher:
