Integrated Formal Methods: editorial

A1 Originalartikel i en vetenskaplig tidskrift (referentgranskad)


Interna författare/redaktörer


Publikationens författare: Butler Michael, Johnsen Einar, Petre Luigia
Redaktörer: Butler M, Johnsen EB, Petre L
Förläggare: Springer
Publiceringsår: 2015
Tidskrift: Formal Aspects of Computing
Volym: 27
Nummer: 4
Artikelns första sida, sidnummer: 611
Artikelns sista sida, sidnummer: 612
eISSN: 1433-299X

Senast uppdaterad 2019-16-10 vid 02:42