Abstraction and modular reasoning for the verification of software

• Authors:

• Corina S. Pasareanu;Matthew B. Dwyer

• Affiliations:

• -;-

• Venue:
• Abstraction and modular reasoning for the verification of software
• Year:
• 2001