You are here: TUCS > PUBLICATIONS > Publication Search > Agile Development of Formal Sy...
- TUCS Publication Series
- How to Publish in TUCS Series
- Publication Search
- Publication Graph
- Publication Input
- Publication Input Guide
- JuFo Browser
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)