A prototype theorem-prover for a higher-order functional language

• Authors:

• Bob Boyer;Matt Kaufmann

• Affiliations:

• University of Texas, Austin, TX;Burroughs Corporation, Austin Research Center, Austin, TX

• Venue:
• ACM SIGSOFT Software Engineering Notes - Proceedings of VERkshop III -- a formal verification workshop
• Year:
• 1985