ABZ2023: 9TH INTERNATIONAL CONFERENCE ON RIGOROUS STATE-BASED METHODS
Tutorial Room A008 Jean Legras

Sessions

  • Session 2A (May 30 09:30-11:00) Tutorial 1 (first part)
  • Session 3A (May 30 11:30-13:00) Tutorial 1 (second part)
  • Session 4 (May 30 13:30-15:30) Tutorial Talk 2
  • Session 6A (May 30 15:45-18:45) Tutorial Talk 3