p2b

swMATH4983MaRDI QIDQ17130FDOQ17130

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: p2b