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

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

Formal Methods For Components And Objects 7th International Symposium,

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

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

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

Formal Methods For Mining Structured Objects 2074

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

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

Ivo De Boer (u. A.) | Rubrics ¿ A Tool For Feedback And Assessment

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

Structured Object-oriented Formal Language And Method 7th

Theory And Practice Of Formal Methods Essays Dedicated To Frank De

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