Agile Development of Formal Systems Models

Colin Snook, Marina Walden, Andrew Edmunds, Michael Butler

Research output: Book/Journal/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Center for Computer Science (TUCS)
ISBN (Print)978-952-12-3792-8
Publication statusPublished - 2019
MoE publication typeD4 Published development or research report or study

Cite this