Automatically inferring properties of computer programs

• Authors:

• Robert Lawrence Givan, Jr.;David Allen Mcallester

• Affiliations:

• -;-

• Venue:
• Automatically inferring properties of computer programs
• Year:
• 1996