Verified Software. Theories, Tools, and Experiments - 9783319723075

Verified Software : Theories, Tools, and Experiments; 9th International Confe...

Verified Software: Theories, Tools and Experiments : Philadelphia PA

Shankar - Verified Software Theories Tools Experiments Second Inte - X555z

Pan - Bio-inspired Computing Theories and Applications 9th Internat - X555z

Blazy - Verified Software. Theories Tools and Experiments 8th Inte - X555z

Giannakopoulou - Verified Software Theories Tools and Experiments - X555z