An Architecture for Interactive Program Provers Chapter uri icon

publication date

  • January 1, 2000

start page

  • 63

end page

  • 77