

















Automated Deduction – CADE 29
431,-

Hardware and Software
476,-

Hardware and Software: Verification and Testing
512,-

Critical Systems
584,-

Critical Systems
584,-

Advances in Computer Games
584,-

Functional and Constraint Logic Programming
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
868,-

Hardware and Software
584,-

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

Automated Deduction – CADE 29
431,-

Hardware and Software
476,-

Hardware and Software: Verification and Testing
512,-

Critical Systems
584,-

Critical Systems
584,-

Advances in Computer Games
584,-

Functional and Constraint Logic Programming
584,-

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification
868,-

Hardware and Software
584,-

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