Enhanced with new material on recursion and object oriented programs this book now covers methods for verifying sequential object orien...
Showing posts with label Verification Of Sequential And Concurrent Programs. Show all posts
Showing posts with label Verification Of Sequential And Concurrent Programs. Show all posts
Subscribe to:
Posts (Atom)