Sunday, June 12, 2011 Not yet registered at the Summer School in Linz, Austria?
Do not miss talks by international experts on formal code analysis, Linux real-time and safety.
Do not miss talks by international experts on formal code analysis, Linux real-time and safety.