Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jyrki Nummenmaa
conf.researchr.org general profile
ECOOP 2015 profile
Not registered as user yet
Name:
Jyrki Nummenmaa
Affiliation:
University of Tampere
Personal website:
http://www.sis.uta.fi/~jyrki/
Contributions
2015
FTfJP
Author of Automatic Verification of Dafny Programs with Traits within the FTfJP-track
Share
x
Fri 19 Apr 20:44