"Lift-and-Shift: Obtaining Simulation Extractable Subversion and Updatable ..."

Behzad Abdolmaleki, Sebastian Ramacher, Daniel Slamanig (2020)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics