Markus Roggenbach

Books by Markus Roggenbach

Total count: 5

• 
  Recent Trends in Algebraic Development Techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised ...

  Springer2017-12-08
• 
  On the Construction of Engineering Handbookswith an Illustration from the Railway Safety Domain

  Springer2020-04-14
• Formal Methods for Software EngineeringLanguages, Methods, Application Domains

  Springer2020-09-22
• Formal Methods - Fun for EverybodyFirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019, Proceedings

  Springer International Publishing AG2021-01-01
• 
  Applicable Formal Methods for Safe Industrial ProductsEssays Dedicated to Jan Peleska on the Occasion of His 65th Birthday

  Springer2023-01-01