author : Simin Nadjm-Tehrani

Short works

• Algorithmic debugging with assertions. 1989. (In Meta-Programming in Logic Programming )
• Combining Theorem Proving and Continuous Models in Synchronous Design. 1999. (In FM'99 volume 2 )