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

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

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

Jean-bernard Stefani (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 |

Formal Methods For Mining Structured Objects 4849

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

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

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

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

Structured Object-oriented Formal Language And Method Zhenhua Duan (u.

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

Francesco Flammini (u. A.) | Formal Methods For Industrial Critical

Charles Pecheur (u. A.) | Formal Methods For Industrial Critical

Formal Methods ¿ Fun For Everybody Markus Roggenbach (u. A.)