Integrated Formal Methods: editorial

Butler Michael, Johnsen Einar, Luigia Petre, M Butler (Redaktör), EB Johnsen (Redaktör), L Petre (Redaktör)

Forskningsoutput: TidskriftsbidragArtikelVetenskapligPeer review

OriginalspråkOdefinierat/okänt
Sidor (från-till)611–612
TidskriftFormal Aspects of Computing
Volym27
Utgåva4
DOI
StatusPublicerad - 2015
MoE-publikationstypA1 Tidskriftsartikel-refererad

Citera det här