Abstract State Machines, Alloy, B, VDM, and Z [E-Book]: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / edited by John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene.
Derrick, John.
Fitzgerald, John. / Gnesi, Stefania. / Khurshid, Sarfraz. / Leuschel, Michael. / Reeves, Steve. / Riccobene, Elvinia.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
digital.
englisch
9783642308857
10.1007/978-3-642-30885-7
Lecture notes in computer science ; 7316
Full Text
Description not available.