The University of Southampton
6th International ABZ Conference ASM, Alloy, B, TLA, VDM, Z, 2018

Conference Information

You can find information about the ABZ 2018 conference in this page, click below to find out more about the case study, program committee and latest news.

Case Study

Information about the Hybrid ERTMS/ETCS Level 3 case study.

Programe Committee

Michael Butler from University of Southampton and Alexander Raschke from Ulm University are PC chairs.


September 2018: Workshop and tutorial chairs and case study are announced.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.