Programming Systems Lab: Publications by Julian Rosemann

Saarland University Computer Science

Select author:

2017

Verified Spilling and Translation Validation with Repair   (pdf)
Julian Rosemann, Sigurd Schneider, Sebastian Hack
ITP


Login to edit


Webmaster, Mon May 30 13:48:30 2016