1.
|
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.
|
2.
|
Abstract state machines, Alloy, B, TLA, VDM, and Z [electronic resource] : 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 20[...]
Heidelberg : Springer, 2014.
|
3.
|
|
4.
|
Berlin, Germany : Springer, 2019.
|
5.
|
Switzerland : Springer, 2016.
|
6.
|
|
7.
|
Cham, Switzerland : Springer, 2019.
|
8.
|
Switzerland : Springer, 2016.
|
9.
|
|