Contributions to Proceedings:
B. Woltzenlogel-Paleo et al.:
"Interacting with Modal Logics in the Coq Proof Assistant";
in: "Computer Science - Theory and Applications - 10th International Computer Science Symposium in Russia, {CSR} 2015",
9139;
L. Beklemishev et al. (ed.);
Springer LNCS,
2015,
ISBN: 978-3319202969,
398
- 411.
Electronic version of the publication:
http://www.amazon.com/Computer-Science-Theory-Applications-International/dp/3319202960#reader_3319202960
Created from the Publication Database of the Vienna University of Technology.