Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
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 Thu May 24 07:56:51 CEST 2012. |
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||