Browse by Person

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

Jump to: 23 June 2017

Number of items: 1.

23 June 2017

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 Mon Dec 23 06:07:32 2024 GMT.