Unifying Theories of Programming and Formal Engineering Methods

Theoretical Aspects of Computing -- ICTAC 2013

Engineering Trustworthy Software Systems

Foundations of Health Informatics Engineering and Systems

Formal methods and software engineering

History of Pushing Back Pictures

Research on Internationalization Construction of Colleges and Universities in the New Era

Mechanical and Electronics Engineering VI

Theories of Programming and Formal Methods

Automated Technology for Verification and Analysis

Mathematical Frameworks for Component Software