Publications Login
Home List all
	author          = {Marieke Huisman and Herbert Bos and Sjaak Brinkkemper and {van Deursen}, Arie and Groote, {Jan Friso} and Patricia Lago and {van de Pol}, Jaco and Eelco Visser},
	title           = {Software that meets its intent},
	booktitle       = {Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Proceedings},
	publisher       = {Springer Verlag},
	year            = {2016},
	volume          = {9953 LNCS},
	series          = {Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)},
	pages           = {609--625},
	isbn            = {9783319471686},
	url             = {},
	group           = {SE}