DOVE: A Tool for Design Oriented Verification and Evaluation

• Authors:

• Maris A. Ozols;K. A. Eastaughffe;Anthony Cant

• Affiliations:

• -;-;-

• Venue:
• AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
• Year:
• 1997