1.
|
Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / Micha[...]
Cham, Switzerland : Springer, 2018.
|
2.
|
|
3.
|
Berlin, Germany : Springer, 2018.
|
4.
|
Cham : Springer International Publishing : Imprint: Springer, 2020.
|
5.
|
Cham : Springer, [2021] ©2021
|