Department of Informatics

TU München - Fakultät für Informatik
Chair IV: Software & Systems Engineering

TUM

  Home  |  Research/Competence  |  Teaching  |  Staff  |  Publications  |  Misc  |  Contact  |  Intranet  |

  Find  

 
PDF-Datei BibTeX

@phdthesis {TUM-I9515,
    author = {Dieter Nazareth},
    title = {{A Polymorphic Sort System for Axiomatic Specification Languages}},
    school = {Technische Universit\"at M\"unchen} ,
    year = {1995}
}
  
HTML Version

(c) 1999-2004 - Lehrstuhl Software & Systems Engineering
Sitemap |  Contact