Reset Filters
Author: Steffen,Bernhard

Author Results for Olderog, Ernst-R diger,

Olderog,E.-R
SpringerLink (Online service)
Damm,Werner
Dierks,Henning
Ernst-Rüdiger Olderog and Henning Dierks
see all »
Ernst-Rüdiger Olderog, Bernhard Steffen (eds.)
FTRTFT 2002,Oldenburg, Germany
International Conference on Integrated Formal Methods,Turku, Finland)
Steffen,Bernhard

1
Correct system design recent insights and advances

Cover is for reference only
Group Author: Steffen Bernhard; Olderog E.-R
Published: Springer,
Publication Dates: 1999.
Call Number: TP302.1/C824
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —