Towards Verified Faithful Simulation.

Vania Joloboff, Jean-Franois Monin, Xiaomu Shi

Browse the full SETTA paper archive.