Helmut Veith is a founding member of the Austrian Society for Rigorous Systems Engineering
Friday, May 28, 2010The Austrian Society for Rigorous Systems Engineering (ARiSE) was founded in 2010 to further the research in formal methods for the design of correct computer systems. It brings together top researchers in formal methods in Austria in order to foster collaboration and a common research platform.