Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves
Journal of Automated Reasoning - Netherlands
doi 10.1007/s10817-007-9096-8
Full Text
Open PDFAbstract
Available in full text
Date
January 12, 2008
Authors
Publisher
Springer Science and Business Media LLC