Akram Idani (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 |

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

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

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

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

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

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

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

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

Formal Methods And Software Engineering 22nd International Conference

Mark Lawford Formal Methods And Software Engineering (taschenbuch)

Software Engineering And Formal Methods Sefm 2013 Collocated

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

Jianping Wu (u. A.) | Formal Methods For Protocol Engineering And