set-sizing-for-counter-models - Université d'Artois
Logiciel Année : 2024

set-sizing-for-counter-models

Résumé

When possible, takes in an abstract B language machine as a POG file and returns another POG file wherein abstract sets have been replaced with concrete sets.
11 Consultations
0 Téléchargements

Partager

More