Integrated Formal Methods: editorial

A1 Journal article (refereed)

Internal Authors/Editors

Publication Details

List of Authors: Butler Michael, Johnsen Einar, Petre Luigia
Editors: Butler M, Johnsen EB, Petre L
Publisher: Springer
Publication year: 2015
Journal: Formal Aspects of Computing
Volume number: 27
Issue number: 4
Start page: 611
End page: 612
eISSN: 1433-299X

Last updated on 2020-22-01 at 03:35