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

Leveraging Applications Of Formal Methods, Verification And Validation

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

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 |

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 |

Cohesive Coverage Management Leveraging Formal Test Plans A Design

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

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

Formal Methods: Foundations And Applications | Mohammad Reza Mousavi

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

Marieke Huisman (u. A.) | Formal Methods | Taschenbuch | Englisch