Find in a Library - powered by WorldCat
Search for items in libraries:
  
Title: Verification Technology for Object-Oriented/XML Transactions By: Suad Alagić Remove frameRemove frames