Author:
Bevier William R.,SØgaard-Andersen JØrgen F.
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. William R. Bevier. Kit: A study in operating system verification. IEEE Transactions on Software Engineering, 15(11):1368–81, November 1989.
2. William R. Bevier, Jr. Warren A. Hunt, J Strother Moore, and William D. Young. An approach to systems verification. Journal of Automated Reasoning, 5(4):411–428, December 1989.
3. R. S. Boyer and J. S. Moore. A Computational Logic Handbook, Academic Press, Boston, 1988.
4. INMOS Limited. occam2 Reference Manual. Series in Computer Science. Prentice Hall, 1988.
5. INMOS Limited. Transputer Instruction Set: A compiler writer's guide. Prentice Hall, 1988.