Search results for: W. Reif
Lecture Notes in Computer Science > Logic at Botik '89 > 134-145
Lecture Notes in Computer Science > CSL '87 > 102-117
Information and Software Technology > 2012 > 54 > 6 > 593-607
Lecture Notes in Computer Science > Logic at Botik '89 > 134-145
Lecture Notes in Computer Science > CSL '87 > 102-117
Information and Software Technology > 2012 > 54 > 6 > 593-607