Verification of concurrent systems in Coq @{Penn, MPI, AWS}
👤 Visit Eleftheis profile 👤 Eleftheis Profil besuchen
✍️Write rieview ✍️Rezension schreiben 🏷️Get Badge! 🏷️Abzeichen holen!
Tags: concurrent verification
Be the first oneand write a rieviewabout elefthei@types.pl. Sein Sie der ersteund schreiben Sie eine Rezensionüber elefthei@types.pl.
🔝