NoTA (Sub)System Specification Guidelines

M Karlå, Johan Lilius, J Lindqvist, Ivan Porres Paltor, D Truscan, T Eriksson, A Latva-Aho, J Rakkola

Research output: Book/Journal/ReportCommissioned reportProfessional

Original languageUndefined/Unknown
PublisherTurku Centre for Computer Science
Publication statusPublished - 2008
MoE publication typeD4 Published development or research report or study

Cite this