Alexander Weigl -

Registered user since Mon 5 Jul 2021

Name:Alexander Weigl

Country:Germany

Affiliation:KIT

Contributions

SPLASH 2021	Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the Posters-track Author of Scalability and Precision by Combining Expressive Type Systems and Deductive Verification within the OOPSLA-track
FormaliSE 2020	Author of Relational Test Tables: A Practical Specification Language for Evolution and Security within the FormaliSE 2020-track