Accéder directement au contenu
AP

Andrei Paskevich

1
Documents
Identifiants chercheurs

Présentation

Publications

946841
Image document

The Spirit of Ghost Code

Jean-Christophe Filliâtre , Léon Gondelman , Andrei Paskevich
CAV 2014, Computer Aided Verification - 26th International Conference, Jul 2014, Vienna Summer Logic 2014, Austria
Communication dans un congrès hal-00873187v3