Knowledge Tree

researcher / Nikolaï Kosmatov

Nikolaï Kosmatov

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Contribution à la vérification de programmes C par combinaison de tests et de preuves.

Classification de menaces d’erreurs par analyse statique, simplification syntaxique et test structurel de programmes