Department of Information Technology

NordConsNet: Workshops

  • Eighteenth Workshop, 21 May 2019 at the Certus Centre for Software Validation and Verification, of the Simula Research Laboratory in Oslo, Norway
  • Fifth Workshop, 15 March 2006, at the Royal Institute of Technology (KTH), Kista/Stockholm, Sweden
  • Third Workshop, 15 January 2004, at Linköping University, Linköping, Sweden
Updated  2019-01-21 20:29:16 by Pierre Flener.