Formalización de la aritmética de TLA+ en el asistente de pruebas Isabelle

DSpace/Manakin Repository

Files in this item

This item appears in the following Collection(s)

My Account


Search DSpace


Browse

Statistics