LitArk » Authors » Bernhard Steffen

Bernhard+Steffen all books read online for free

Here you can read online for free all Bernhard+Steffen author books.

Ernst-Rüdiger Olderog - Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

80

Ernst-Rüdiger Olderog

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

Tiziana Margaria - Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

80

Tiziana Margaria

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications