Software Verification Based on Game Semantics and Process Algebra

Sponsorisé  Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations