Jacco

swMATH29268MaRDI QIDQ40982FDOQ40982

Author name not available (Why is that?)

Official website: http://rebeca-lang.org/alltools/Jacco

Cited In (2)

• Verification of asynchronous systems with an unspecified component
• Petrify

This page was built for software: Jacco