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

Formal Methods For Components And Objects 11th International

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

Formal Techniques For Distributed Objects, Components, And Systems

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

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

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

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

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

Formal Methods For Mining Structured Objects 4849

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

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

Structured Object-oriented Formal Language And Method Third

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

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

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