Uwe Glässer

Born 1959-01-01

Identifiers

Open LibraryOL7107665A

Top Subjects

Formal methods (Computer science) (1)

Books by Uwe Glässer

Total count: 1

Rigorous methods for software construction and analysisessays dedicated to Egon Börger on the occasion of his 60th birthday

Springer2009-01-01