Error-free software through formal methods
Julkaisuvuosi
2013
Tekijät
Pakonen, Antti; Valkonen, Janne
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Kokoomateos
Artikkelin tyyppi
Muu artikkeli
Yleisö
AmmatillinenOKM:n julkaisutyyppiluokitus
D2 Artikkeli ammatillisessa kokoomateoksessaJulkaisukanavan tiedot
Lehti
VTT Research Highlights
Emojulkaisun nimi
Kustantaja
VTT Technical Research Centre of Finland
Numero
8
Sivut
37-41
ISSN
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Kyllä
Kustantajan version lisenssi
Muu lisenssi
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä