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

Leveraging Applications Of Formal Methods, Verification And

Bernhard Steffen (u. A.) | Leveraging Applications Of Formal

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

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

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

Aritra Hazra (u. A.) | Cohesive Coverage Management Leveraging Formal

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

Elizabeth Black (u. A.) | Theory And Applications Of Formal

Erika Ábrahám (u. A.) | Theory And Practice Of Formal Methods |

Anna Alberini (u. A.) | Applications Of Simulation Methods In

Cohesive Coverage Management Leveraging Formal Test Plans A Design

Formal Methods: Foundations And Applications | Mohammad Reza Mousavi

Formal Methods: Foundations And Applications 20th Brazilian Symposium,

Jemal Katsitadze (u. A.) | Application Of Modern Mathematical Methods

Paul Boca (u. A.) | Formal Methods: State Of The Art And Directions |