@conference {Campos98b,
	title = {Integrating Automated Verification into Interactive Systems Development},
	booktitle = {13th IEEE International Conference: Automated Software Engineering - Doctoral Symposium Proceedings},
	year = {1998},
	month = {October},
	pages = {13-15},
	address = {Hawaii, USA},
	abstract = {<p>Our fieldof researchis the applicationof automatedrea-soning techniques during interactor based interactive sys-tems development. The aim being to ensure that the de-veloped systems embody appropriate properties and princi- ples. In this report we identify some of the pitfalls of current approachesand propose a new way to integrate verificationinto interactive systems development.</p>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jccampos/files/ase98.pdf},
	author = {Jos{\'e} Creissac Campos}
}