Incorporating Formal Techniques into Industrial Practice: an Experience Report

Fulltext present in this item

Format: PDF

Description: preprint version

Title:	Incorporating Formal Techniques into Industrial Practice: an Experience Report
Author(s):	Osaiweran, A.; Schuts, M.; Hooman, J. ; Wesselius, J.
Publication year:	2013
Source:	Electronic Notes in Theoretical Computer Science, vol. 295, iss. 0, (2013), pp. 49-63
ISSN:	1571-0661
DOI:	http://dx.doi.org/10.1016/j.entcs.2013.04.005
Publication type:	Article / Letter to editor
Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/111357
Display more details
Subject:	Software Science
Organization:	Software Science
Journal title:	Electronic Notes in Theoretical Computer Science
Volume:	vol. 295
Issue:	iss. 0
Page start:	p. 49
Page end:	p. 63

Faculty of Science [26371]
Open Access publications [49236]
Freely accessible full text publications
Electronic publications [76745]
Freely accessible full text publications plus those not yet available due to embargo
Academic publications [168197]
Academic output Radboud University