GitHub - CarlitoUwU/Automatizacion-y-Verificacion-Formal-en-la-Gestion-de-Inventarios-Un-Enfoque-Basado-en-IoT-y-VDM · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Test.vdmpp		Test.vdmpp
validacion.txt		validacion.txt

About

No description, website, or topics provided.

Report repository

Releases

No releases published

Packages

Contributors