TkWinHOL: A tool for Window Inference in HOL
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 245-260
- https://doi.org/10.1007/3-540-60275-5_69
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Mechanizing some advanced refinement conceptsFormal Methods in System Design, 1993
- Refinement concepts formalised in higher order logicFormal Aspects of Computing, 1990
- Mechanizing CSP trace theory in higher order logicIEEE Transactions on Software Engineering, 1990
- A calculus of refinements for program derivationsActa Informatica, 1988