Symposium: Lorentz Center Workshop on JML: Advancing Specification Language Methodologies

When: March 23, 2015, 12:30 - March 25, 2015, 13:30

Where: Lorentz Center, Leiden

Who: other:

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