

Software Engineering and Formal Methods
584,-

Software Engineering and Formal Methods
584,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

Computer Aided Verification
431,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Formal Aspects of Component Software
476,-

Software Engineering and Formal Methods
584,-

Software Engineering and Formal Methods
584,-

Formal Techniques for Distributed Objects, Components, and Systems
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

Computer Aided Verification
431,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
854,-

Dependable Software Engineering. Theories, Tools, and Applications
674,-

Formal Aspects of Component Software
476,-















