Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops, Fachbücher von Mieke Massink, Loek Cleophas

Mieke Massink (u. A.) | Software Engineering And Formal Methods. Sefm

Software Engineering And Formal Methods. Sefm 2020 Collocated

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

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

Formal Methods and Software Engineering, Fachbücher von Jing Sun, Meng Sun

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

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

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 Shengchao Qin, Yamine Ait-Ameur

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

Software Engineering and Formal Methods, Fachbücher von Bernhard Rumpe, Radu Calinescu, Domenico Bianculli

Formal Methods and Software Engineering, Fachbücher von Zhe Hou, Shang-Wei Lin, Brendan Mahony