Month: June 2018

Im Rahmen von FormbaR hat Sebastian Schön eine Studie über den Nutzen von Formalen Methoden im Transportwesen beim SRSS 2018 vorgestellt.