Back to Results
First PageMeta Content
Mathematical logic / Theoretical computer science / Software / Formal methods / Proof assistants / Automated theorem proving / Mathematical proof / First-order logic / Proof / True quantified Boolean formula / Frama-C / Type theory


Designing Proof Formats A User’s Perspective Sascha B¨ ohme
Add to Reading List

Document Date: 2011-08-05 14:21:30

Open Document

File Size: 107,92 KB

Share Result on Facebook