Logical gates, circuits, processors, compilers and computers Jan Friso Groote, Rolf Morel, Julien Schmaltz, Adam Watkins.

by Groote, J. F. (Jan Friso), 1965-, Morel, Rolf, Schmaltz, Julien, Watkins, Adam
Published 2021

Interactive Theorem Proving Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings edited by Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk.

Published 2011