HighSpec

MaRDI QIDQ21729swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1134409

Cited in

(1)

• Behavioral interface specification languages

This page was built for software: HighSpec