p2b

MaRDI QIDQ17130swMATHFDO

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

Cited in

(3)

• Type inference and strong static type checking for Promela
• ETCH
• PROMELA

This page was built for software: p2b