Search results for: David Gries
Lecture Notes in Computer Science > Logics of Programs > 237-254
Lecture Notes in Computer Science > Correct System Design > Monotonicity in Calculational Proofs > 79-85
Journal of Dentistry > 2007 > 35 > 10 > 773-777
Information Processing Letters > 1997 > 64 > 5 > 217-223
Information Processing Letters > 1997 > 64 > 3 > 115-121