- ECU Libraries Catalog

Start Over

You searched for: author_facet Roggenbach, Markus

Showing 1 - 5 of 5 results

Search Results

Cover image for Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

Applicable Formal Methods for Safe Industrial Products Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

by Haxthausen, Anne E.
2023
1st ed. 2023
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods for Software Engineering Languages, Methods, Application Domains

Formal Methods for Software Engineering Languages, Methods, Application Domains

by Roggenbach, Markus
2022
1st ed. 2022
Format: Electronic

Location
Access Content Online

Cover image for Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

Formal Methods - Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers

by Cerone, Antonio
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers

by Roggenbach, Markus
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21?24, 2016, Revised Selected Papers

Recent Trends in Algebraic Development Techniques 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21?24, 2016, Revised Selected Papers

by James, Phillip
2017
Format: Electronic

Location
Access Content Online