Department of Informatics

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

TUM
 
BibTeX

@misc {,
    author = {B. Schieder and M. Broy},
    editor = {R. Berghammer and F. Simon},
    title = {On a calculational logic with undefined},
    year = {1997},
    pages = {108 - 117}
}
  
HTML Version

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