Recent Changes - Search:

CSE dept.

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

edit SideBar


High Assurance Software

Work page for a European Masters in "High Assurance Software". The propsed program is joint between Chalmers University, ELTE University (Budapest), Radboud University (Nijmegen) and Babes-Bolyai University (Cluj-Napoca).


Patrik Jansson was the Chalmers contact in 2010.


(The p,a,s,s,w,o,r,d for editing these pages is the the name of the programming language associated with Rinus.)

Edit - History - Print - Recent Changes - Search
Page last modified on October 21, 2011, at 02:37 PM