Cataño, N. (2025). pyeb: A Python Implementation of Event-B Refinement Calculus.
Cita Chicago Style (17a ed.)Cataño, Néstor. Pyeb: A Python Implementation of Event-B Refinement Calculus. 2025.
Cita MLA (9a ed.)Cataño, Néstor. Pyeb: A Python Implementation of Event-B Refinement Calculus. 2025.
Precaución: Estas citas no son 100% exactas.