Author Details

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 (Ukrainian)