ID:DA14707123
Teaching formal methods
Symposium on Teaching formal methods
CoLogNET/FME Symposium, TFM
Search authors sharing the same name
Jeremy Gibbons, José Nuno Oliveira (eds.)
Springer c2009 Lecture notes in computer science 5846
Available at 1 libraries
C. Neville Dean, Raymond T. Boute (eds.)
Springer c2004 Lecture notes in computer science 3294
Available at 12 libraries