Knowledge Tree

researcher / Samuel Colin

Samuel Colin

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Contribution à l'intégration de temporalité au formalisme B : utilisation du calcul des durées en tant que sémantique temporelle pour B