Knowledge Tree

researcher / Jean Fortin

Jean Fortin

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

BSP-Why, un outil pour la vérification déductive de programmes BSP : machine-checked semantics and application to distributed state-space algorithms