Ocsid

swMATH28725MaRDI QIDQ40439FDOQ40439

Author name not available (Why is that?)

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