John H. Remmers

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1984

1 John H. Remmers: A Technique for Developing Loop Invariants. Inf. Process. Lett. 18(3): 137-139 (1984)