Mettre en vente
Se connecter
Aide
Un résultat pour Aleksandar Dimovski
Software Verification Based On Game Semantics And Process Algebra: A Game Semantic Framework For Verifying Safety Properties Of Open Programs
Voir le produit
Vendez le vôtre