Formal methods in software engineering
Julkaisuvuosi
1997
Tekijät
Seppänen, Veikko
Organisaatiot ja tekijät
Teknologian tutkimuskeskus VTT Oy
Seppänen Veikko
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli:
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Emojulkaisun nimi
Proceedings 23rd Euromicro Conference: New Frontiers of Information Technology, EUROMICRO'97
Konferenssi
23rd EUROMICRO Conference, EUROMICRO'97
Kustantaja
IEEE Institute of Electrical and Electronic Engineers
Sivut
197-198
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object]
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Ei