Programming by Construction

D4 Published development or research report or study


Internal Authors/Editors


Publication Details

List of Authors: Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre
Publisher: Turku Centre for Computer Science (TUCS)
Place: Turku
Publication year: 2013
Start page: 1
End page: 32
ISBN: 978-952-12-2978-7

Last updated on 2019-25-08 at 06:17