Department of Informatics

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

TUM
 
PDF-Datei  (Inter-)Action Refinement: The Easy Way

Book Chapter

Author:Manfred Broy
In Book:Program Design Calculi
Editor:Manfred Broy
Volume:118
Series:Series F: Computer and System Sciences
Publisher:Springer NATO ASI Series
Year:1993
 
BibTeX

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