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

Software Engineering And Formal Methods | Martin Steffen (u. A.) |

Cohesive Coverage Management Leveraging Formal Test Plans A Design

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

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

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

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

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

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

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

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