Write a Blog >>

Not registered as user yet

Name: Andrei Paskevich

Affiliation: LRI, Université Paris-Sud & CNRS

Contributions

POPL 2020Author of Deductive Verification with Ghost Monitors within the Research Papers-track
Show activities from other conferences

Using general profile