Paolo Ciancarini (u. A.) | Formal Methods For Open Object-based

Jean-bernard Stefani (u. A.) | Formal Methods For Open Object-based...

Arend Rensink (u. A.) | Formal Methods For Open Object-based

Carolyn L. Talcott (u. A.) | Formal Methods For Open Object-based

Formal Methods For Open Object-based Distributed Systems V Ifip Tc6 /

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

Frank S. De Boer (u. A.) | Formal Methods For Components And Objects |

Formal Methods For Mining Structured Objects 4849

Formal Methods For Components And Objects 7th International Symposium,

Paolo Trunfio (u. A.) | Internet Of Things Based On Smart Objects |

Olaf Owe (u. A.) | From Object-orientation To Formal Methods |

Diego Latella (u. A.) | Formal Methods For Distributed System

Paola Inverardi (u. A.) | Formal Methods For Software Architectures |

Gemma C Garriga | Formal Methods For Mining Structured Objects | Buch

Fay Sudweeks (u. A.) | Advances In Formal Design Methods For Cad |

Structured Object-oriented Formal Language And Method Shaoying Liu (u.