Formal Development and Verification of Reusable Component in PAR Platform

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