Verified Software. Theories, Tools, and Experiments - 9783319488684

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

Shankar - Verified Software Theories Tools Experiments Second Inte - X555z

Verified Software: Theories, Tools and Experiments : Philadelphia PA

Giannakopoulou - Verified Software Theories Tools and Experiments - X555z

Paskevich - Verified Software. Theories Tools and Experiments 9th - X555z

Verified Software. Theories, Tools and Experiments - 9783031866944