placeholder image

R. Hansen, Michael

Person

Positions

Technical University of Denmark

selected publications

chapter
- Provably Correct Systems. Lecture Notes in Computer Science. 288-335. 1994

full name

Michael R. Hansen

Publications in VIVO

Co-author Network