NUML

swMATH3463MaRDI QIDQ15995FDOQ15995

Author name not available (Why is that?)

Official website: http://www.springerlink.com/content/052344u741w17605/fulltext.pdf

Described by source

• A formal semantics for DAI language NUML

This page was built for software: NUML