author : Frank Reffel

Short works

• Error Detection with Directed Symbolic Model Checking. 1999. (In FM'99 volume 1 )