Formal Methods: Foundations and Applications, Fachbücher von Volker Stolz, Gustavo Carvalho

Formal Methods: Foundations And Applications Volker Stolz (u. A.)

Formal Methods: Foundations and Applications, Fachbücher

Formal Methods: Foundations and Applications, Fachbücher von José Fiadeiro, Simone Cavalheiro

Formal Methods: Foundations and Applications, Fachbücher von Bill Roscoe, Márcio Cornélio

Formal Methods: Foundations and Applications, Fachbücher von David Naumann, Rohit Gheyi

Formal Methods: Foundations and Applications, Fachbücher von Sérgio Campos, Marius Minea

Formal Methods: Foundations and Applications, Fachbücher von Mohammad Reza Mousavi, Tiago Massoni

Formal Methods: Foundations and Applications, Fachbücher von Narciso Martí-Oliet, Christiano Braga

Formal Methods: Foundations And Applications 12th Brazilian Symposium

Formal Methods: Foundations And Applications | Mohammad Reza Mousavi

Bill Roscoe (u. A.) | Formal Methods: Foundations And Applications |

Formal Methods: Foundations And Applications Narciso Martí-oliet (u.

José Fiadeiro (u. A.) | Formal Methods: Foundations And Applications |

Formal Methods: Foundations and Applications, Fachbücher von Jim Woodcock, Marcel Vinícius Medeiros Oliveira

Leveraging Applications of Formal Methods, Verification, and Validation, Fachbücher von Anna-Lena Lamprecht