This book constitutes the refereed proceedings of the Third International Joint Conference on Aut...

This volume contains the proceedings of the second working conference on Verified Software: Theor...

Mathematicians from Leibniz to Hilbert have sought to mechanise the verification of mathematical ...