Software Engineering and Formal Methods [E-Book]: 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings / edited by George Eleftherakis, Mike Hinchey, Mike Holcombe.
Eleftherakis, George.
Hinchey, Mike. / Holcombe, Mike.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642338267
10.1007/978-3-642-33826-7
Lecture notes in computer science ; 7504
Full Text
Description not available.