Papers in faults and verification Epitaxis: A System for Syntactic and Semantic Software Queries Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Massively Parallel Short-Read Resequencing of a Human Genome Browse All Categories By Keyword
