Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems 2005, Lisbon, Portugal, September 05-06, 2005 by Gary T. Leavens | Menrva Books | MenrvaBooks
Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems 2005, Lisbon, Portugal, September 05-06, 2005