Deductive Verification of Railway Operations

Published in RSSRail, 2017

Recommended citation: Eduard Kamburjan, Reiner Hähnle. (2017). RSSRail. LNCS 10598