Preface: Abstract State Machines, Alloy, B, VDM, and Z. Selected & extended papers from ABZ 2012
Riccobene, Elvinia, Reeves, SteveVolume:
94
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2014.06.002
Date:
November, 2014
File:
PDF, 144 KB
english, 2014