NUML

swMATH3463MaRDI QIDQ15995FDOQ15995

Author name not available (Why is that?)

Described by source

• A formal semantics for DAI language NUML

This page was built for software: NUML