Author:Luís Cruz-Filipe
KeyphrasesBoolean Pythagorean Triples problem, Certified implementation, Choreographic Programming, distributed protocols, formal proofs, interactive theorem proving, theorem proving. |
![]() | ||||
| ||||
Copyright © 2012-2023 easychair.org. All rights reserved. |