Technical Report No. 248 - Abstract
Stefan Wehr
Formalizing CoreGI
This document contains the full formalization of CoreGI, a subset of JavaGI.
Report No. 248 (PostScript)
|
|
|
Report No. 248 (PostScript) |