Fingerprint
Dive into the research topics of 'Verifying procedural programs via constrained rewriting induction'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Verifying procedural programs via constrained rewriting induction
Carsten Fuhs, Cynthia Louisa Martina Kop, Naoki Nishida