Lorentz Center - Second International Symposium on Formal Methods for Components and Objects from 3 Nov 2003 through 7 Nov 2003
  Current Workshop  |   Overview   Back  |   Home   |   Search   |     

    Second International Symposium on Formal Methods for Components and Objects
    from 3 Nov 2003 through 7 Nov 2003

 

  • Scientific organizers:
    Marcello Bonsangue (Univ. Leiden, The Netherlands)  
    de Boer (CWI, Amsterdam, The Netherlands)  
    de Roever (Univ. Kiel, Germany)  
    Graf (Grenoble, France)
     
  • Workshop Coordinator: Tel: +31 71 527 5401
     

    Organizational Log-in (restricted)
     

       [Back]
  •