placeholder image

Schäfer, Steven

Person

Positions

Saarland University

selected publications

chapter
- Tower Induction and Up-to Techniques for CCS with Fixed Points. Lecture Notes in Computer Science. 274-289. 2017

full name

Steven Schäfer

Publications in VIVO

Co-author Network