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