Original language | Undefined/Unknown |
---|---|
Publisher | Turku Centre for Computer Science (TUCS) |
ISBN (Print) | 978-952-12-2978-7 |
Publication status | Published - 2013 |
MoE publication type | D4 Published development or research report or study |
Programming by Construction
Mauno Rönkkö, Markus Stocker, Mats Neovius, Mikko Kolehmainen, Luigia Petre
Research output: Book/Journal/Report › Commissioned report › Professional