From Nondeterministic UML Protocol Statemachines to Class Contracts

A4 Conference proceedings


Internal Authors/Editors


Publication Details

List of Authors: Ivan Porres, Irum Rauf
Editors: Gaudel M, Cavalli AR, Ghosh S
Publisher: IEEE Computer Society Washington, DC, USA
Publication year: 2010
Publisher: IEEE computer society press
Book title: Software Testing, Verification and Validation (ICST), 2010 Third International Conference on
Start page: 107
End page: 116
ISBN: 978-0-7695-3990-4/

Last updated on 2019-22-07 at 07:15