SoleCRISSiirtymälinkkiEtusivuSiirtymälinkkiKäyttöohjeSiirtymälinkkiRekisteriselosteSiirtymälinkkiKirjautuminenHAKA-kirjautuminen

Artikkelit/Konferenssijulkaisu
      
Tämä on julkaisun katselusivu. Tällä sivulla voit katsella julkaisun perustietoja. Jos haluat päästä muokkaamaan julkaisun tietoja, siirry julkaisun muokkaussivulle alalaidassa olevalla siirtymis-toiminnolla tai jatka järjestelmän käyttöä menusta.


Automatic verification of Dafny programs with traits - Ahmadi Reza, Leino K. Rustan M, Nummenmaa Jyrki 2015


Laji Artikkelit
Alalaji Konferenssijulkaisu
Tyyppi Tieteellinen
OKM:n julkaisutyyppiluokitus B3 
Tekijät Ahmadi Reza, Leino K. Rustan M, Nummenmaa Jyrki 
Tekijöiden lukumäärä
Yliopiston ensimmäinen tekijä
Ensimmäisen tekijän yksikkö Informaatiotieteiden yksikkö
Artikkelin nimi Automatic verification of Dafny programs with traits 
Teoksen nimi 17th Workshop on Formal Techniques for Java-like Programs 
Julkaisu- ja rekisterivuosi 2015  ja 2015 
Kustantaja ACM 
Kustannuspaikka New York, NY, USA 
Artikkelinumero
Referee Ei
ISBN 978-1-4503-3656-7 
Konferenssin nimi Workshop on Formal Techniques for Java-like Programs 
Julkaisukieli englanti
Julkaistu ulkomailla Kyllä
Tieteenala Tietojenkäsittely ja informaatiotieteet
Matematiikka
Kansainvälinen yhteisjulkaisu Kyllä
Kansallinen yhteisjulkaisu Ei kansallinen yhteisjulkaisu
Avoin saatavuus Open access -julkaisu
DOI-tunniste 10.1145/2786536.2786542 
Verkkojulkaisun linkki http://dl.acm.org/citation.cfm?id=2786542
Suora linkki Suora linkki