Author:Koen Claessen
Keyphrasesautomated induction, automated theorem proving, equational reasoning, grammar testing, Grammatical Framework, PMCFG, program verification, testing, theory formation. |
| ||||
| ||||
| Copyright © 2012-2025 easychair.org. All rights reserved. |