Fritz Henglein profile picture

Fritz Henglein

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Verification, Model Checking, and Abstract Interpretation 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings
Verification, Model Checking, and Abstract Interpretation