Events

e347
Mar 23, 2015 12:30
-
Mar 25, 2015 13:30
Symposium: Lorentz Center Workshop on JML: Advancing Specification Language Methodologies
Room: Lorentz Center, Leiden

http://www.lorentzcenter.nl/lc/web/2015/677/info.php3?wsid=677&venue=Snellius