$30 off During Our Annual Pro Sale. View Details »
Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology
Avatar for Alejandro Cabrera

Starred by Alejandro Cabrera

cabrera
View profile
Verified Vector Clocks
Avatar for Christopher Meiklejohn cmeiklejohn
1
290
Vector Clocks in Coq: An Experience Report
Avatar for Christopher Meiklejohn cmeiklejohn
3
850