ABZ 2023
LoriaABZ 2023 (9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS) will take place at Loria from Tuesday, 30th May to Friday, 2nd June. The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are […]


