Lorentz Center - JML: Advancing Specification Language Methodologies from 23 Mar 2015 through 27 Mar 2015
  Current Workshop  |   Overview   Back  |   Print   |   Home   |   Search   |     

    JML: Advancing Specification Language Methodologies
    from 23 Mar 2015 through 27 Mar 2015

 

Click for enlargement

Venue: Lorentz Center@Snellius

  • Description and aim of the workshop
     
  • Registration form
     
  • Participants
     
  • Program
     
  • Scientific organizers:
    Daniel Bruns (Karlsruhe, Germany)  
    Marieke Huisman (Enschede, The Netherlands)  
    Gary T. Leavens (Orlando, Florida)  
    Wojciech Mostowski (Enschede, The Netherlands)
     
  • Workshop Coordinator: Tel: +31 71 527 5401
     
    Organizational Log-in (restricted)
     


 


   [Back]