Klaus Dieter Schewe
AuthID: R-00H-6X5
1
TÃTULO: Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
AUTORES: Yamine Aït Ameur; Klaus Dieter Schewe;
PUBLICAÇÃO: 2014, FONTE: ABZ, VOLUME: 8477
AUTORES: Yamine Aït Ameur; Klaus Dieter Schewe;
PUBLICAÇÃO: 2014, FONTE: ABZ, VOLUME: 8477
INDEXADO EM: 
DBLP
DBLP