@inproceedings{5cd8e85369b84c49a47fecf382873f45,
title = "Software Verification with Next Generation DisCo Specifications",
author = "Timo Nummenmaa and Tommi Mikkonen",
note = "Contribution: organisation=tie,FACT1=1<br/>Portfolio EDEND: 2013-07-29<br/>Publisher name: British Computer Society",
year = "2013",
language = "English",
isbn = "978-951-44-8900-6",
series = "Software Quality Management Conference",
pages = "147--154",
editor = "Eleni Berki and Juri Valtanen and Pirkko Nyk{\"a}nen and Margaret Ross and Geoff Staples and Kari Syst{\"a}",
booktitle = "Quality Matters. Proceedings of SQM XX, August 21-23, 2012, Tampere, Finland",
}