swMATH39404MaRDI QIDQ55104FDOQ55104
Author name not available (Why is that?)
Official website: https://www.researchgate.net/publication/220344415_CrEme_an_Automatic_Invariant_Prover_of_Behavioral_Specifications
Cited In (3)
This page was built for software: CrEme
