Full Text Available

Note: Clicking the button above will open the full text document at the original institutional repository in a new window.

Specification and verification of context conditions for programming languages

Bibliography: p. 204-211.

Saved in:
Bibliographic Details
Main Author: Kaplan, Simon Mark
Other Authors: MacGregor, Ken
Format: Thesis
Language:English
Published: Department of Computer Science 2015
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!