POSIX and the Verification Grand Challenge: A Roadmap

Leo Freitas, Jim Woodcock, Andrew Butterfield

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	Undefined/Unknown
Pages	153-162
Publication status	Published - 2008

Access to Document

http://dx.doi.org/10.1109/ICECCS.2008.35

Other files and links

Link to publication in Scopus

Cite this