1 Commits

Author	SHA1	Message	Date
Kyle Isom	7d7754b752	Add new category, program verification. ... The inaugural paper in this category describes using Coq to create a formalised subset of the x86 architecture.	2014-05-02 13:52:23 -07:00