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...

Robles Jr - French Theories of Regulation and Conceptions of the Inter - X555z

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