Knowledge Tree

researcher / Sidi Mohamed Beillahi

Sidi Mohamed Beillahi

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Automated verification of programs running on top of distributed systems