Proceedings of the Third international conference on Formal Methods for Components and Objects

  • Authors:

  • Frank S. Boer;Marcello M. Bonsangue;Susanne Graf;Willem-Paul Roever

  • Affiliations:

  • Centre for Mathematics and Computer Science, CWI, Kruislaan 413, Amsterdam, SJ, The Netherlands;Leiden Institute of Advanced Computer Science, Leiden University, Kruislaan 413, Leiden, RA, The Netherlands;Centre Equitation, VERIMAG, 2 Avenue de Vignate, Grenoble-Gières, RA, France;Institute of Computer Science and Applied Mathematics, Christian-Albrechts University Kiel, Hermann-Rodewald-Straße 3, Kiel, RA, Germany

  • Venue:
  • FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
  • Year:
  • 2004

Quantified Score

Hi-index 0.01

Visualization

Abstract