Bolognesi T., Caneve M.
equivalence verification
No abstract available
Source: The formal description technique LOTOS -- Results of the ESPRIT/SEDOS project, pp. 302–326, 1989
@inbook{oai:it.cnr:prodotti:418314, title = {Equivalence verification: theory, algorithms, and a tool}, author = {Bolognesi T. and Caneve M.}, booktitle = {The formal description technique LOTOS -- Results of the ESPRIT/SEDOS project, pp. 302–326, 1989}, year = {1989} }