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

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

Narciso Martí-oliet (u. A.) | Formal Methods: Foundations And

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 Sérgio Campos, Marius Minea

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

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

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

Formal Aspects of Component Software, Fachbücher von Peter Csaba Ölveczky, Christiano Braga

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

Formal Methods: Foundations And Applications 12th Brazilian Symposium

Formal Methods: Foundations And Applications | Mohammad Reza Mousavi

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

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

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