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.
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.
| 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): | |
|
Full Text |
| Description not available. |