[ACM Press the 5th ACM SIGPLAN Conference - St. Petersburg, FL, USA (2016.01.18-2016.01.19)] Proceedings of the 5th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2016 - Formalizing jordan normal forms in Isabelle/HOL
Thiemann, René, Yamada, AkihisaYear:
2016
Language:
english
DOI:
10.1145/2854065.2854073
File:
PDF, 500 KB
english, 2016