Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Background<br />
• Provable Correct Systems (ProCoS, ESPRIT BRA 3104)<br />
Bjørner Langmaack Hoare Olderog<br />
• Project case study: Gas Burner Sørensen Ravn Rischel<br />
Tallinn, November 17- 21, Michael R. Hansen – p.4/29