You are here: TUCS > PUBLICATIONS > Publication Search > Agile Development of Formal Sy...
Agile Development of Formal Systems Models
Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler, Agile Development of Formal Systems Models. TUCS Technical Reports 1202, 2019.
BibTeX entry:
@TECHREPORT{tSnWaEdBu19a,
title = {Agile Development of Formal Systems Models},
author = {Snook, Colin and Waldén, Marina and Edmunds, Andrew and Butler, Michael},
number = {1202},
series = {TUCS Technical Reports},
year = {2019},
}
Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)