Formal Methods And Software Engineering 15th International Conference

Mark Lawford Formal Methods And Software Engineering (taschenbuch)

Current Trends In Web Engineering 15th International Conference, Icwe

Software Engineering And Formal Methods. Sefm 2020 Collocated

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 For Multicore Programming 15th International School On

Engineering The Web In The Big Data Era 15th International Conference,

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

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

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