EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Robinet, B.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

1974

Fokkinga, M.M. (1974) Inductive assertions patterns for recursive procedures. In: Proceedings of the Programming Symposium, 9-11 Apr 1974, Paris, France. pp. 221-233. Lecture Notes in Computer Science 19. Springer Verlag. ISSN 0302-9743 ISBN 3-540-06859-7

This list was generated on Mon May 29 05:05:18 CEST 2017.