Recent Changes - Search:

CSE dept.


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


edit SideBar

SET /

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