Formal methods in software engineering
Publiceringsår
1997
Upphovspersoner
Seppänen, Veikko
Organisationer och upphovspersoner
Teknologiska forskningscentralen VTT Ab
Seppänen Veikko
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
Proceedings 23rd Euromicro Conference: New Frontiers of Information Technology, EUROMICRO'97
Konferens
23rd EUROMICRO Conference, EUROMICRO'97
Förläggare
IEEE Institute of Electrical and Electronic Engineers
Sidor
197-198
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Nej
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Nyckelord
[object Object]
Språk
engelska
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Nej