1989
Proving total correctness of recursive procedures
Publication
Publication
Additional Metadata | |
---|---|
CWI | |
Department of Computer Science [CS] | |
America, P., & de Boer, F. (1989). Proving total correctness of recursive procedures. Department of Computer Science [CS]. CWI. |