ECOOP 2015
Sun 5 - Fri 10 July 2015 Prague, Czech Republic

Not registered as user yet

Name: Jyrki Nummenmaa

Affiliation: University of Tampere

Personal website: http://www.sis.uta.fi/~jyrki/

Contributions

FTfJP 2015 Automatic Verification of Dafny Programs with Traits
Show activities from other conferences

ECOOP 2015-profile
View general profile