

Computational Logic in Multi-Agent Systems
584,-

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

Critical Systems
584,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Verified Software. Theories, Tools, and Experiments
584,-

Numerical Software Verification
584,-

Formal Methods and Software Engineering
584,-

Formal Methods and Software Engineering
791,-

Logic-Based Program Synthesis and Transformation
584,-

Formal Methods and Software Engineering
674,-

Computational Logic in Multi-Agent Systems
584,-

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

Critical Systems
584,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Verified Software. Theories, Tools, and Experiments
584,-

Numerical Software Verification
584,-

Formal Methods and Software Engineering
584,-

Formal Methods and Software Engineering
791,-

Logic-Based Program Synthesis and Transformation
584,-

Formal Methods and Software Engineering
674,-















