Write a Blog >>
FormaliSE 2021
Tue 18 - Fri 21 May 2021
co-located with ICSE 2021
ICSE 2021 (series) / FormaliSE 2021 (series) / Nikolai Kosmatov
Nikolai Kosmatov

Registered user since Fri 4 Nov 2016

Name:Nikolai Kosmatov
Country:France
Affiliation:CEA List
Personal website: https://nikolai-kosmatov.eu/

Contributions

Show activities from other conferences

ICSE 2021-profile
View general profile