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 2019-22-08 at 04:55