Klaus Dieter Schewe
AuthID: R-00H-6X5
1
TITLE: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
AUTHORS: Yamine Aït Ameur; Klaus Dieter Schewe;
PUBLISHED: 2014, SOURCE: ABZ, VOLUME: 8477
AUTHORS: Yamine Aït Ameur; Klaus Dieter Schewe;
PUBLISHED: 2014, SOURCE: ABZ, VOLUME: 8477
INDEXED IN: 
DBLP
DBLP