NUML

MaRDI QIDQ15995swMATHFDO

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