| Title: | A Visual Studio Plug-In for CProver |
|---|---|
| Links: | Homepage Document as PDF |
| Authors: | Mohamed Nassim Seghir |
| Daniel Kroening EMail | |
| Remarks: | |
| Topics: |
Bibtex:
@inproceedings{sk2013-topi,
AUTHOR = { Seghir, Mohamed Nassim
and Kroening, Daniel },
TITLE = { A {Visual} {Studio} Plug-In for {CProver} },
BOOKTITLE = { Workshop on Developing Tools as Plug-ins (TOPI) },
YEAR = { 2013 },
PAGES = { 43--48 },
ISBN = { 978-1-4673-6288-7 },
}
We welcome feedback and comments at
kroening@cs.cmu.edu.
Last modified by Daniel Kröning.