Reset Filters
Author: Olderog, Ernst-R diger,

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
Provably Correct Systems /

Cover is for reference only
Corporate Authors: SpringerLink (Online service)
Group Author: Hinchey, Mike (Editor); Bowen, Jonathan P (Editor); Olderog, Ernst-R diger (Editor)
Published: Springer International Publishing : Imprint: Springer,
Publication Dates: 2017.
eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —