A semantic backward chaining proof system
Artificial Intelligence
Dynascope: a tool for program directing
PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Using transformations and verification in circuit design
Formal Methods in System Design - Special issue on designing correct circuits
An annotated bibliography of interactive program steering
ACM SIGPLAN Notices
A New Front-End for the Larch Prover
Proceedings of the first First International Workshop on Larch
Hi-index | 0.00 |