1.
|
|
2.
|
Abstract state machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016[...]
Switzerland : Springer, 2016.
|
3.
|
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.
|
4.
|
|
5.
|
Cham : Springer, [2023] ©2023
|
6.
|
|
7.
|
Singapore : Springer, 2016.
|
8.
|
|
9.
|
|
10.
|
Berlin : Springer, [2023] ©2023
|