Adaptive Assertion-Level Proofs
Christoph Benzmüller and Marvin Schiller
Paper Information
| Title | Adaptive Assertion-Level Proofs |
| Authors | Christoph Benzmüller and Marvin Schiller |
| Keywords: | proof presentation, assertion level proofs, machine learning |
| Abstract: | (extended abstract submitted as paper 8) |
| Volume: | EMSQMS 2010. Workshop on Evaluation Methods for Solvers, and Quality Metrics for Solutions |
| Pages: | 39-40 |
| Editors: | Aaron Stump, Geoff Sutcliffe and Cesare Tinelli |
| BibTeX entry: | @inproceedings{EasyChair:93,
author = {Christoph Benzm\"uller and Marvin Schiller},
title = {Adaptive Assertion-Level Proofs},
booktitle = {EMSQMS 2010},
editor = {Aaron Stump and Geoff Sutcliffe and Cesare Tinelli},
series = {EPiC Series},
volume = {6},
pages = {39-40},
year = {2012},
publisher = {EasyChair},
bibsource = {EasyChair, http://www.easychair.org},
issn = {2040-557X},
} |
| Paper: |  |