LISA

MaRDI QIDQ42206swMATHFDO

Official website https://rd.springer.com/chapter/10.1007/BFb0028005

Described by source

• LISA: A specification language based on WS2S

This page was built for software: LISA