Formal Methods And Software Engineering 14th International Conference

Web Engineering 14th International Conference, Icwe 2014, Toulouse,

Software Engineering And Formal Methods. Sefm 2020 Collocated

Mark Lawford Formal Methods And Software Engineering (taschenbuch)

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 |

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

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

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

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

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

Frontiers In Software Engineering First International Conference,

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