Reading: Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, ... Computer and Information Science Book 17) full version

You are about to access our book library "Leveraging Applications of Formal Methods, Verification and Validation: Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, ... Computer and Information Science Book 17) full version" .