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.
Daniel Le Berre : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-04737604
Soumis le : mardi 15 octobre 2024-13:22:43
Dernière modification le : mercredi 16 octobre 2024-03:23:25