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

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

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

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

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

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

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

Andrew K. Martin (u. A.) | Formal Methods In Computer-aided Design |

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

John W. O'leary (u. A.) | Formal Methods In Computer-aided Design |

Ojelanki Ngwenyama (u. A.) | Advances In Research Methods For

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

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

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

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

Marco Bernardo (u. A.) | Formal Methods For Executable Software Models