Software Verification with Next Generation DisCo Specifications

Timo Nummenmaa; Tommi Mikkonen

Software Verification with Next Generation DisCo Specifications

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Translated title of the contribution	Software Verification with Next Generation DisCo Specifications
Original language	English
Title of host publication	Quality Matters. Proceedings of SQM XX, August 21-23, 2012, Tampere, Finland
Editors	Eleni Berki, Juri Valtanen, Pirkko Nykänen, Margaret Ross, Geoff Staples, Kari Systä
Place of Publication	London, UK
Publisher	BRITISH COMPUTER SOCIETY
Pages	147-154
Number of pages	8
ISBN (Print)	978-951-44-8900-6
Publication status	Published - 2013
Publication type	A4 Article in conference proceedings

Publication series

Name	Software Quality Management Conference

Publication forum classification

Publication forum level 0

Access to Document

http://www.sis.uta.fi/sqm2012/

Cite this

Nummenmaa, T., & Mikkonen, T. (2013). Software Verification with Next Generation DisCo Specifications. In E. Berki, J. Valtanen, P. Nykänen, M. Ross, G. Staples, & K. Systä (Eds.), Quality Matters. Proceedings of SQM XX, August 21-23, 2012, Tampere, Finland (pp. 147-154). (Software Quality Management Conference). BRITISH COMPUTER SOCIETY. http://www.sis.uta.fi/sqm2012/

Nummenmaa, Timo ; Mikkonen, Tommi. / Software Verification with Next Generation DisCo Specifications. Quality Matters. Proceedings of SQM XX, August 21-23, 2012, Tampere, Finland. editor / Eleni Berki ; Juri Valtanen ; Pirkko Nykänen ; Margaret Ross ; Geoff Staples ; Kari Systä. London, UK : BRITISH COMPUTER SOCIETY, 2013. pp. 147-154 (Software Quality Management Conference).

@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",

publisher = "BRITISH COMPUTER SOCIETY",

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",

}

Nummenmaa, T & Mikkonen, T 2013, Software Verification with Next Generation DisCo Specifications. in E Berki, J Valtanen, P Nykänen, M Ross, G Staples & K Systä (eds), Quality Matters. Proceedings of SQM XX, August 21-23, 2012, Tampere, Finland. Software Quality Management Conference, BRITISH COMPUTER SOCIETY, London, UK, pp. 147-154. <http://www.sis.uta.fi/sqm2012/>

Software Verification with Next Generation DisCo Specifications. / Nummenmaa, Timo; Mikkonen, Tommi.
Quality Matters. Proceedings of SQM XX, August 21-23, 2012, Tampere, Finland. ed. / Eleni Berki; Juri Valtanen; Pirkko Nykänen; Margaret Ross; Geoff Staples; Kari Systä. London, UK: BRITISH COMPUTER SOCIETY, 2013. p. 147-154 (Software Quality Management Conference).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Software Verification with Next Generation DisCo Specifications

AU - Nummenmaa, Timo

AU - Mikkonen, Tommi

N1 - Contribution: organisation=tie,FACT1=1<br/>Portfolio EDEND: 2013-07-29<br/>Publisher name: British Computer Society

PY - 2013

Y1 - 2013

M3 - Conference contribution

SN - 978-951-44-8900-6

T3 - Software Quality Management Conference

SP - 147

EP - 154

BT - Quality Matters. Proceedings of SQM XX, August 21-23, 2012, Tampere, Finland

A2 - Berki, Eleni

A2 - Valtanen, Juri

A2 - Nykänen, Pirkko

A2 - Ross, Margaret

A2 - Staples, Geoff

A2 - Systä, Kari

PB - BRITISH COMPUTER SOCIETY

CY - London, UK

ER -