Author:Naoki Nishida
Keyphrasescyclic proof, imperative program, program transformation2, program verification, rewriting induction, runtime-error verification, sequent calculus, term rewriting3. |
| |||||
Copyright © 2012-2024 easychair.org. All rights reserved. |