POSIX and the verification grand challenge: A roadmap
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-162Download Item:
Author's Homepage:
http://people.tcd.ie/butrfeldDescription:
PUBLISHED
Author: BUTTERFIELD, ANDREW
Publisher:
IEEEType of material:
Conference PaperCollections
Availability:
Full text availableKeywords:
Computer ScienceMetadata
Show full item recordLicences: