placeholder image

Meyer, Jörg

Person

Positions

University of Hagen

selected publications

chapter
- An Architecture for Interactive Program Provers. Lecture Notes in Computer Science. 63-77. 2000

full name

Jörg Meyer

Publications in VIVO

Co-author Network