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

Registered user since Fri 4 Nov 2016

Name: Nikolai Kosmatov

Country: France

Affiliation: CEA List

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


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

Using general profile