Deductive Software Verification – The KeY Book: From Theory to Practice

Composite Mathematics For Class 6

Lecture Notes on Graph Theory: Lecture Notes on Graph Theory

The Logic of Software. A Tasting Menu of Formal Methods: Essays Dedicated to Reiner Hähnle on the Occasion of His 60th Birthday

Composite Mathematics For Class 7

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Composite Mathematics For Class 8

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino

New Mathematics Today Class 8

Fundamental Approaches to Software Engineering: 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

Problems and Solutions for Integer and Combinatorial Optimization: Building Skills in Discrete Optimization

Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings

A Compact & Comprehensive Book of IIT Foundation Maths Class Ix

Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings

Programming in Haskell: Edition 2

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

New Mathematics Today Class 7

Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

NCERT Mathematics Practice Book 7

Machine Learning for Dynamic Software Analysis: Potentials and Limits: International Dagstuhl Seminar 16172, Dagstuhl Castle, Germany, April 24-27, 2016, Revised Papers