Goerigk, W., Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu Kiel
-
No 1 (2003) - Theory and Methodology of Programming
REALISTIC CORRECT SYSTEMS IMPLEMENTATION
Abstract PDF -
No 2 (2003) - Theory and Methodology of Programming
Will Informatics be able to Justify the Construction of Large Computer Based Systems? Part II. Trusted compiler implementation
Abstract PDF (Українська)