Uni-Logo

Institut für Informatik
 

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)