Uwe Glässer

1959

• Rigorous methods for software construction and analysis