Formal Methods for Industrial Critical Systems, Fachbücher von Maurice H. ter Beek, Dejan Nickovic

Critical Systems: Formal Methods and Automated Verification, Fachbücher von Maurice H. ter Beek, Alexander Knapp, Stefan...

Formal Methods For Industrial Critical Systems | Dejan Ni¿kovi¿ (u.

Formal Methods for Industrial Critical Systems, Fachbücher

Formal Methods - The Next 30 Years, Fachbücher von Annabelle McIver, Maurice H. ter Beek, José N. Oliveira

From Software Engineering to Formal Methods and Tools, and Back, Fachbücher von Maurice H. ter Beek, Alessandro Fantechi...

Formal Methods for Industrial Critical Systems, Fachbücher von Charles Pecheur, Michael Dierkes

Formal Methods for Industrial Critical Systems, Fachbücher von Jiri Barnat, Falk Howar

Formal Methods for Industrial Critical Systems, Fachbücher von Kim Guldstrand Larsen, Tim Willemse

Formal Methods for Industrial Critical Systems, Fachbücher von Alberto Lluch Lafuente, Anastasia Mavridou

Formal Methods For Industrial Critical Systems 20th International

Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue

Formal Methods for Industrial Critical Systems, Fachbücher von Alessandro Fantechi, Darren Cofer

Anastasia Mavridou (u. A.) | Formal Methods For Industrial Critical

Charles Pecheur (u. A.) | Formal Methods For Industrial Critical

Francesco Flammini (u. A.) | Formal Methods For Industrial Critical