Formal Specification and Model Checking of a Ride-sharing System in Maude

von Muramoto, Eiichi
Veröffentlicht in SOFL+MSVL (9. : 2019 : Shenzhen) Structured object-oriented formal language and method (2020)