Author Details

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