Foundations of Semantics and Model Checking in a Software Engineering Course
You are here
| Title | Foundations of Semantics and Model Checking in a Software Engineering Course |
| Publication Type | Workshop Paper |
| Year of Publication | 2015 |
| Authors | Margaria T, Lamprecht A-L |
| URL | http://ceur-ws.org/Vol-1385/paper4.pdf |
