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:

Created from the Publication Database of the Vienna University of Technology.