1
Applicable Formal Methods for Safe Industrial Products [E-Book] : Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday /
Other Personal Name(s): “...Roggenbach, Markus...”

Full text 
Favorites
Saved in:
2
Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /
Other Personal Name(s): “...Roggenbach, Markus...”

Full text 
Favorites
Saved in:
3
Formal Methods - Fun for Everybody [E-Book] : First International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Revised Selected Papers /
Other Personal Name(s): “...Roggenbach, Markus...”

Full text 
Favorites
Saved in:
4
Recent Trends in Algebraic Development Techniques [E-Book] : 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
Other Personal Name(s): “...Roggenbach, Markus...”

Full text 
Favorites
Saved in:
5
Algebra and Coalgebra in Computer Science [E-Book] / First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings
Other Personal Name(s): “...Roggenbach, Markus...”

Full text 
Favorites
Saved in: