Nikolai Kosmatov - RoSE 2021

Wed 2 Jun 2021

co-located with ICSE 2021

Registered user since Fri 4 Nov 2016

Name:Nikolai Kosmatov

Country:France

Affiliation:CEA List

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

Contributions

2021

FormaliSE

Methodology for Specification and Verification of High-Level Properties with MetAcsl

Show activities from other conferences

ICSE 2021-profile
View general profile