Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jyrki Nummenmaa
conf.researchr.org general profile
ECOOP 2015 profile
Not registered as user
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
Sun 22 Dec 06:30