Communication Dans Un Congrès Année : 2023

Proof automation for Event-B theories

Fichier principal
Vignette du fichier
Proof_automation_for_Event_B_theories.pdf (290.76 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04308810 , version 1 (27-11-2023)

Licence

Identifiants

  • HAL Id : hal-04308810 , version 1

Citer

Peter Riviere, Yamine Aït-Ameur, Neeraj Kumar Singh, Guillaume Dupont. Proof automation for Event-B theories. 10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France. ⟨hal-04308810⟩
316 Consultations
290 Téléchargements

Partager

  • More