EEMCS

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

EEMCS EPrints Service


Editor: Neuhold, E.J.
Home Policy Brochure Browse Search User Area Contact Help

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 Fri Apr 28 03:17:12 CEST 2017.