ABZ2023: 9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS
Julien Cervelle
Affiliation: Univ Paris Est Creteil, LACL, F-94010 Creteil, France
Web page: https://jc.lacl.fr
Pages in this Program
Program
Program for Wednesday, May 31st