Software that Meets Its Intent

Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser. Software that Meets Its Intent. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Volume 9953 of Lecture Notes in Computer Science, pages 609-625, 2016. [doi]

Authors

Marieke Huisman

This author has not been identified. Look up 'Marieke Huisman' in Google

Herbert Bos

This author has not been identified. Look up 'Herbert Bos' in Google

Sjaak Brinkkemper

This author has not been identified. Look up 'Sjaak Brinkkemper' in Google

Arie van Deursen

This author has not been identified. It may be one of the following persons: Look up 'Arie van Deursen' in Google

Jan Friso Groote

Identified as Jan Friso Groote

Patricia Lago

This author has not been identified. It may be one of the following persons: Look up 'Patricia Lago' in Google

Jaco van de Pol

This author has not been identified. Look up 'Jaco van de Pol' in Google

Eelco Visser

Identified as Eelco Visser