Browse by Person

Group by: Item Type | Date | Journal or Publication Title | No Grouping

Jump to: Article

Number of items: 1.

Article

Fuhs, Carsten and Kop, C. and Nishida, N. (2017) Verifying procedural programs via constrained rewriting induction. ACM Transactions on Computational Logic 18 (2), ISSN 1529-3785.

This list was generated on Fri Nov 22 05:33:51 2024 GMT.