About this scholarly article

Proceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice - LFMTP '13 - 25 years of formal proof cultures by Honsell, Furio is a scholarly article available to read on EtoBox.

Author

Honsell, Furio

Publisher

ACM Press

Published

2013

Language

EN