ModalCasl

swMATH11951MaRDI QIDQ23886FDOQ23886

Author name not available (Why is that?)

Cited In (1)

• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans

This page was built for software: ModalCasl