Knowledge Tree

researcher / Anatol Slissenko

Anatol Slissenko

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Abstraction techniques for verification of concurrent systems

Sécurité du code mobile en terme de types : application au langage JAVA

Analyse statique de la terminaison des règles actives basée sur la notion de chemin maximal