Verified Software: Theories, Tools and Experiments - 9783319121536

Giannakopoulou - Verified Software Theories Tools and Experiments - X555z

Verified Software. Theories Tools and Experiments. 14th Internati

Verified Software Theories Tools and Experiments 7th Internationa

Modelling and Development of Intelligent Systems 6th Internationa

Counseling and Psychotherapy: Theories and Interventions 6th Edition

Foundations of Information and Knowledge Systems 6th Internationa

Verified Software. Theories Tools and Experiments 15th Internatio