Automatic verification of Dafny programs with traits
Publiceringsår
2015
Upphovspersoner
Ahmadi, Reza; Leino, K. Rustan M; Nummenmaa, Jyrki
Organisationer och upphovspersoner
Tammerfors universitet
Nummenmaa Jyrki
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Moderpublikationens namn
Förläggare
Artikelnummer
a4
ISBN
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ja
Öppen tillgång till publikationskanalen
Helt öppen publikationskanal
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Förlagets internationalitet
Internationell
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Nej
DOI
10.1145/2786536.2786542
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja