Recent Changes - Search:

CSE dept.

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

edit SideBar


SEFM session

  • Deductive Compilation (Reiner, 30 min)
  • Achieving MCDC coverage with automated testgeneration (Gabriele, 25 min)
  • Denotational Semantics of Asynchronous Objects (Wolfgang, 40-45 min)

All times include discussion time.

Edit - History - Print - Recent Changes - Search
Page last modified on January 31, 2011, at 08:53 AM