Verified Software. Theories, Tools and Experiments. - 9783031258022

Lal - Verified Software. Theories Tools and Experiments. 14th Inter - X555z

Zhao - Performance Evaluation Methodologies and Tools 14th EAI Inter - X555z

Pang - Dependable Software Engineering. Theories Tools and Applicati - X555z

Hermanns - Dependable Software Engineering. Theories Tools and Appli - X555z

Verified Software Theories, Tools, and Experiments : 7th International Confer...

Tourism and the Creative Industries Theories policies and practice - X555z