Langmaack, H., Institut für Informatik und Praktische Mathematik Christian-Albrechts-Universität zu Kiel
-
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 (Українська)