HAS /

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).

Contacts:

Patrik Jansson was the Chalmers contact in 2010.

Misc:

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