AboutSign inJoin

Werner Damm

About

Some information is missing for this author.

Books

Integration of Software Specification Techniques for Applications in Engineering
Integration of Software Specification Techniques for Applications in Engineering
Hartmut Ehrig, Engelbert Westkämper, Jörg Desel, Werner Damm, Wolfgang Reif, Eckehard Schnieder, Martin Große-Rhode
Computer Aided Verification
Computer Aided Verification
Werner Damm, Holger Hermanns
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
Formal Techniques in Real-Time and Fault-Tolerant Systems
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian