EEMCS EPrints Service
|
||||||||||||||||
|
Number of items: 1. 1978
Fokkinga, M.M.
(1978)
Axiomatization of Declarations and the formal treatment of an Escape Construct.
In: IFIP TC-2 Working Conference on Formal Descriptions of Programming Language Concepts, 1-5 Aug 1977, St. Andrews, Canada.
pp. 221-236.
North-Holland.
ISBN 0-444-85107-0
This list was generated on Thu May 24 07:30:36 CEST 2012. |
||||||||||||||||