Department of Informatics

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

TUM
 
PDF-Datei  Specification and Refinement of a Buffer of Length One

Conference Paper

Author:Manfred Broy
Conference:Deductive Program Design
Editor:Manfred Broy
Volume:152
Series:ASI Series, Series F: Computer and System Sciences
Pages:273 - 304
Publisher:Springer
Year:1994
Abstract:
 
BibTeX

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