ETCH

swMATH7636MaRDI QIDQ19658FDOQ19658

Author name not available (Why is that?)

Cited In (2)

• Type inference and strong static type checking for Promela
• Automatic symmetry detection for Promela

This page was built for software: ETCH