FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Mike Gordon: Tribute to a pioneer in theorem proving and formal verification

Author: John Harrison

PapersPapers with AbstractsPrefaceAuthor IndexKeyword Index

Paper Information

Title:Mike Gordon: Tribute to a pioneer in theorem proving and formal verification
Authors:John Harrison
Proceedings:ITP Papers
Editors: Jeremy Avigad and Assia Mahboubi
Keywords:
Abstract:
Pages:1
Paper: