Software Engineering and Formal Methods
You are here
| Title | Software Engineering and Formal Methods |
| Publication Type | Workshop Paper |
| Year of Publication | 2012 |
| Authors | Eleftherakis G, Hinchey M, Holcombe M |
| URL | http://link.springer.com/chapter/10.1007%2F978-3-642-33826-7_7 |
