Originalspråk | Odefinierat/okänt |
---|---|
Sidor (från-till) | 611–612 |
Tidskrift | Formal Aspects of Computing |
Volym | 27 |
Utgåva | 4 |
DOI | |
Status | Publicerad - 2015 |
MoE-publikationstyp | A1 Tidskriftsartikel-refererad |
Integrated Formal Methods: editorial
Butler Michael, Johnsen Einar, Luigia Petre, M Butler (Redaktör), EB Johnsen (Redaktör), L Petre (Redaktör)
Forskningsoutput: Tidskriftsbidrag › Artikel › Vetenskaplig › Peer review