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

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

 
Names listed in boldface are linked to the home pages of these participants

Wolfgang Ahrendt(Gothenburg, Sweden)
Daniel Bruns(Karlsruhe, Germany)
David Cok(Ithaca, NY, United States)
Stijn de Gouw(Amsterdam, Netherlands)
Werner Dietl(Waterloo, Canada)
Marie Farrell(Co. Kildare, Ireland)
Carlo A. Furia(Zurich, Switzerland)
Reiner Haehnle(Darmstadt, Germany)
Martin Hentschel(Darmstadt, Germany)
Marieke Huisman(Enschede, Netherlands)
James Hunt(Karlsruhe, Germany)
Gary Leavens(Orlando, United States)
Yves Ledru(Saint-Martin D Heres, France)
Antónia Lopes(Lisboa, Portugal)
Rosemary Monahan(Maynooth, Ireland)
Erik Poll(Nijmegen, Netherlands)
Peter Schmitt(Karlsruhe, Germany)
Malte Schwerhoff(Zurich, Switzerland)
John Singleton(Orlando, United States)
Isabel Tonin(Karlsruhe, Germany)
Mattias Ulbrich(Karlsruhe, Germany)
Jooyong Yi (lee)(Singapore, Singapore)


   [Back]