Generated on 18/10/2023 at 9:55 using ProB version 1.12.3-nightly
Main specification package: event_b_project
Main specification name: DieHard
Main VisB JSON file: DieHard.json (modified on 18/10/2023 at 9:54)
VisB SVG file: Jars.svg (modified on 8/2/2022 at 15:17)