Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021
Nikolai Kosmatov

Registered user since Fri 4 Nov 2016

Name: Nikolai Kosmatov

Country: France

Affiliation: CEA List

Personal website: https://nikolai-kosmatov.eu/

Contributions

FormaliSE 2021 Methodology for Specification and Verification of High-Level Properties with MetAcsl
Show activities from other conferences

Using general profile