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

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

Leveraging Applications Of Formal Methods, Verification And

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

Bernhard Steffen (u. A.) | Mathematical Foundations Of Advanced

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

Bernhard Steffen (u. A.) | Grundlagen Der Höheren Informatik | Buch |

Cohesive Coverage Management Leveraging Formal Test Plans A Design

Bernhard Rumpe (u. A.) | Software Engineering And Formal Methods |

Steffen Zschaler (u. A.) | Software Technologies: Applications And

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

Bernhard Beckert (u. A.) | Formal Methods For Components And Objects |

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

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

Bernhard Thalheim (u. A.) | Correct Software In Web Applications And

Mathematical Foundations Of Advanced Informatics | Bernhard Steffen