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

From Software Engineering To Formal Methods And Tools, And Back Essays

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

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

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

Software Engineering and Formal Methods, Fachbücher von Marjan Sirjani, Alessandro Cimatti

Formal Methods and Software Engineering, Fachbücher von Zhenhua Duan, Luke Ong

Formal Methods and Software Engineering, Fachbücher von Jun Pang, Stephan Merz

Software Engineering and Formal Methods, Fachbücher von Gwen Salaün, Dimitra Giannakopoulou

Software Engineering and Formal Methods, Fachbücher von Einar Broch Johnsen, Ina Schaefer

Formal Methods and Software Engineering, Fachbücher von Shengchao Qin, Yamine Ait-Ameur

Software Engineering and Formal Methods, Fachbücher von Corina S. Pasareanu, Radu Calinescu

Software Engineering and Formal Methods, Fachbücher von Rocco De Nicola, eva Kühn

Software Engineering and Formal Methods, Fachbücher von Gwen Salaün, Peter Csaba Ölveczky

Formal Methods and Software Engineering, Fachbücher von Michael Butler, Fatiha Zaïdi, Sylvain Conchon

Software Engineering and Formal Methods, Fachbücher von Antonio Cerone, Marco Roveri