Agile Development of Formal Systems Models

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Colin Snook, Marina Waldén, Andrew Edmunds, Michael Butler
Publisher: Turku Center for Computer Science (TUCS)
Place: Turku
Publication year: 2019
ISBN: 978-952-12-3792-8

Last updated on 2020-08-07 at 06:12