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.
Saved in:
Full text |
|
Personal Name(s): | Eleftherakis, George. |
Hinchey, Mike. / Holcombe, Mike. | |
Imprint: |
Berlin, Heidelberg :
Springer Berlin Heidelberg :
2012
Imprint: Springer, |
Physical Description: |
digital. |
Note: |
englisch |
ISBN: |
9783642338267 |
DOI: |
10.1007/978-3-642-33826-7 |
Series Title: |
Lecture notes in computer science ;
7504 |
Subject (LOC): |
Description not available. |