















Dependable Software Engineering
476,-

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

Empirical Software Engineering and Verification
584,-

Formal Methods and Software Engineering
584,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

Formal Methods and Software Engineering
584,-

Algorithms and Architectures for Parallel Processing
584,-

The Application of Formal Methods
737,-

Dependable Software Engineering
476,-

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

Empirical Software Engineering and Verification
584,-

Formal Methods and Software Engineering
584,-

Formal Methods and Software Engineering
584,-

Software Engineering and Formal Methods
584,-

Formal Methods and Software Engineering
584,-

Formal Methods and Software Engineering
584,-

Algorithms and Architectures for Parallel Processing
584,-

The Application of Formal Methods
737,-