Searching program libraries by type and proving compiler correctness by bisimulation /
Saved in:
OCLC: | 46088609 |
---|---|
Main Author: | |
Corporate Author: | |
Language: | Swedish |
Published: |
Göteborg :
Univ.,
1990.
|
Format: | Thesis Monograph Note that CRL will digitize material from the collection when copyright allows. |