Ocsid

MaRDI QIDQ40439swMATHFDO

Official website https://link.springer.com/chapter/10.1007%2F3-540-44755-5_20

Cited in

(3)

• Action systems in incremental and aspect-oriented modeling
• DisCo
• HOL-UNITY

This page was built for software: Ocsid