ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Nikolai Kosmatov
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 2019Author of A Data Flow Model with Frequency Arithmetic within the FASE 2019-track
TACAS 2019Author of MetAcsl: Specification and Verification of High-Level Properties within the TACAS 2019-track
Show activities from other conferences

Using general profile