Transformations on dependency graphs: formal specification and efficient mechanical verification

• Authors:

• Sreeranga Prasannakumar Rajan

• Affiliations:

• Univ. of British Columbia, Canada

• Venue:
• Transformations on dependency graphs: formal specification and efficient mechanical verification
• Year:
• 1996