Independently Checkable Proofs from Decision Procedures: Issues and Progress.- Zap: Automated The...

This open access book constitutes the proceeding of the 28th International Conference on Automate...