Dieter Hutter

Mechanizing Mathematical Reasoning (2011)

Computer

By presenting state-of-the-art results in logical reasoning and formal methods in the context of art…