Jean-Francois Couchot, Frédéric Dadeau, David Déharbe, Alain Giorgetti, Silvio Ranise. Proving and Debugging Set-Based Specifications. Electronic Notes in Theoretical Computer Science, 95:189-208, 2004. [doi]
No references recorded for this publication.
No citations of this publication recorded.