Write a Blog >>

Not registered as user yet

Name: Andrei Paskevich

Affiliation: LRI, Université Paris-Sud & CNRS

Contributions

POPL 2020 Deductive Verification with Ghost Monitors
Show activities from other conferences

POPL 2020-profile
View general profile