Kleene Algebra with Tests and Coq Tools for while Programs : Interactive theorem proving; ITP 2013
In: LECTURE NOTES IN COMPUTER SCIENCE (7998):180-196; (2013) 7998, S. 180-196
Konferenz
Zugriff:
Titel: |
Kleene Algebra with Tests and Coq Tools for while Programs : Interactive theorem proving; ITP 2013
|
---|---|
Autor/in / Beteiligte Person: | Pous, D. |
Link: | |
Quelle: | LECTURE NOTES IN COMPUTER SCIENCE (7998):180-196; (2013) 7998, S. 180-196 |
Veröffentlichung: | 2013 |
Medientyp: | Konferenz |
ISBN: | 978-3-642-39633-5 (print) ; 3-642-39633-X (print) |
ISSN: | 0302-9743 (print) |
Sonstiges: |
|