Type
Publication
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings
Jacopo Soldani
Assistant Professor
Associate Professor in Computer Science, University of Pisa, Italy.