
Tools and Algorithms for the Construction and Analysis of Systems
431,-

Formal Methods and Software Engineering
584,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Formal Methods for an Informal World
584,-

Symbolic Computation in Software Science
1 340,-

Software Engineering and Formal Methods
584,-

Software Engineering and Formal Methods
584,-

Machines, Computations, and Universality
611,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Formal Methods and Software Engineering
584,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Formal Methods for an Informal World
584,-

Symbolic Computation in Software Science
1 340,-

Software Engineering and Formal Methods
584,-

Software Engineering and Formal Methods
584,-

Machines, Computations, and Universality
611,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-