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 von Narciso Martí-Oliet, Christiano Braga

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

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

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

Rewriting Logic And Its Applications Narciso Martí-oliet (u. A.)

Formal Methods: Foundations And Applications 19th Brazilian Symposium,

Formal Methods: Foundations And Applications | Mohammad Reza Mousavi

Formal Methods: Foundations and Applications, Fachbücher

Narciso Martí-oliet (u. A.) | Logic, Rewriting, And Concurrency |

Leveraging Applications Of Formal Methods, Verification And

Reiner Hähnle (u. A.) | Leveraging Applications Of Formal Methods,...

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 José Fiadeiro, Simone Cavalheiro