Coupled Model Transformations for QoS Enabled Component-Based Software Design
- Length: 318 pages
- Publication Date: 2010-03-22
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
- Length: 292 pages
- Publication Date: 2011-02-25