POSIX and the verification grand challenge: A roadmap

dc.contributor.author	BUTTERFIELD, ANDREW
dc.contributor.editor	Karin, Breitman	en
dc.contributor.editor	Jim, Woodcock	en
dc.contributor.editor	Roy, Sterritt	en
dc.contributor.editor	Michael, G. Hinchey	en
dc.date.accessioned	2009-01-05T10:56:58Z
dc.date.available	2009-01-05T10:56:58Z
dc.date.issued	2008
dc.date.submitted	2008	en
dc.identifier.citation	Freitas, L., Woodcock, J., Butterfield, A. `POSIX and the verification grand challenge: A roadmap? in Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS, (eds) Karin Breitman, Jim Woodcock, Roy Sterritt, Michael G. Hinchey, 2008, pp 153-162	en
dc.identifier.other	N	en
dc.identifier.uri	http://hdl.handle.net/2262/26439
dc.description	PUBLISHED	en
dc.format.extent	153-162	en
dc.format.extent	369 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en	en
dc.publisher	IEEE	en
dc.rights	Y	en
dc.subject	Computer Science	en
dc.title	POSIX and the verification grand challenge: A roadmap	en
dc.type	Conference Paper	en
dc.type.supercollection	scholarly_publications	en
dc.identifier.peoplefinderurl	http://people.tcd.ie/butrfeld
dc.identifier.rssuri	http://ieeexplore.ieee.org/iel5/4492860/4492861/04492888.pdf?tp=&arnumber=4492888&isnumber=4492861

Browse