Derivation of formal representations from process-based specification and implementation models

Vercauteren, StevenStevenVercauterenVerkest, DiederikDiederikVerkestDe Jong, GjaltGjaltDe JongLin, BillBillLin2021-09-302021-09-301997https://imec-publications.be/handle/20.500.12860/2281Derivation of formal representations from process-based specification and implementation modelsProceedings paper