Recent Changes - Search:

CSE dept.

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

edit SideBar


(One of the Course Clusters.)

  • FM = Formal methods and testing
    • FM Chair LaKo, Co-chair WoAh, GeSc, MoJo, MeWa
    • FM: Testing, debugging and verification (@ST)
    • FM: Model based testing (@ST)
    • FM: Software engineering using formal methods (@ST)
    • FM: Test and verification (@ST)
Edit - History - Print - Recent Changes - Search
Page last modified on March 14, 2014, at 11:20 AM