dblp.uni-trier.de www.uni-trier.de

Retirement: Hans Langmaack, 1999

Ernst-Rüdiger Olderog, Bernhard Steffen (Eds.): Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel). Lecture Notes in Computer Science 1710 Springer 1999, ISBN 3-540-66624-9 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
@proceedings{DBLP:conf/birthday/1999langmaack,
  editor    = {Ernst-R{\"u}diger Olderog and
               Bernhard Steffen},
  title     = {Correct System Design, Recent Insight and Advances, (to Hans
               Langmaack on the occasion of his retirement from his professorship
               at the University of Kiel)},
  booktitle = {Correct System Design, Recent Insight and Advances},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1710},
  year      = {1999},
  isbn      = {3-540-66624-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

I Methodology

II Programming

III Automation

IV Compilation

V Application

Copyright © Mon Nov 2 20:22:06 2009 by Michael Ley (ley@uni-trier.de)