ETAPS 2019 (series) / Nikolai Kosmatov

Registered user since Fri 4 Nov 2016
Name: Nikolai Kosmatov
Country: France
Affiliation: CEA List
Personal website: http://nikolai.kosmatov.free.fr/
Contributions
FASE 2019 | A Data Flow Model with Frequency Arithmetic | ||||||||||||||||||||||||||||||||||||||||
TACAS 2019 | MetAcsl: Specification and Verification of High-Level Properties | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ETAPS 2019-profile
View general profile
View general profile