Registered user since Tue 25 Jun 2019
Name: Andreas Lööw
Affiliation: Chalmers University of Technology
Contributions
| FormaliSE 2019 | Author of A Proof-Producing Translator for Verilog Development in HOL within the FormaliSE 2019-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICSE 2019-profile
View general profile
View general profile