Jim Davies (u. A.) | Formal Methods And Software Engineering |

Antonio Cerone (u. A.) | Software Engineering And Formal Methods |

Domenico Bianculli (u. A.) | Software Engineering And Formal Methods |

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

Marco Roveri (u. A.) | Software Engineering And Formal Methods |

Gwen Salaün (u. A.) | Software Engineering And Formal Methods |

Kenji Taguchi (u. A.) | Formal Methods And Software Engineering |

Software Engineering And Formal Methods Akram Idani (u. A.)

Formal Methods And Software Engineering Jun Pang (u. A.) Taschenbuch

Mieke Massink (u. A.) | Software Engineering And Formal Methods. Sefm

Formal Methods And Software Engineering | Meng Sun (u. A.) | Englisch

Einar Broch Johnsen Software Engineering And Formal Methods

Mark Lawford Formal Methods And Software Engineering (taschenbuch)

Software Engineering And Formal Methods. Sefm 2020 Collocated

Formal Methods And Software Engineering 15th International Conference

From Software Engineering To Formal Methods And Tools, And Back Essays