conf.researchr.org / Andreas Lööw

Registered user since Tue 25 Jun 2019

Name: Andreas Lööw

Affiliation: Chalmers University of Technology

Contributions

FormaliSE 2019Author of A Proof-Producing Translator for Verilog Development in HOL within the FormaliSE 2019-track
PLDI 2019Author of Verified Compilation on a Verified Processor within the PLDI Research Papers-track