An Innovative Teaching Tool based on Semantic Tableaux for Verification and Debugging of Imperative Programs
1998 ◽
Vol 8
(4)
◽
pp. 219-224
1981 ◽
Vol 19
(12)
◽
pp. 37-46