Recent Changes - Search:

CSE dept.

This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.

edit SideBar



Session Chair: Ina Schaefer


  • Reiner Hähnle: Partial Evaluation for Scalable Verification
  • Wolfgang Ahrendt: Verification of Distributed Objects with Asynchronous Method Calls
  • Ina Schaefer: Reuse-based Verification of Software Product Lines
  • Richard Bubel: Demonstration of the Symbolic Visual Debugger
Edit - History - Print - Recent Changes - Search
Page last modified on January 11, 2010, at 11:40 AM