Verification of recursive programs: A temporal proof approach (Report / Department of Computer Science, University of Illinois at Urbana-Champaign) by Dept. of Computer Science, University of Illinois at Urbana-Champaign

Title: Verification of recursive programs: A temporal proof approach (Report / Department of Computer Science, University of Illinois at Urbana-Champaign)

Manufacturer: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Our Price: