Correctness-by-Construction \wedge Taxonomies \Rightarrow Deep Comprehension of Algorithm Families.

Loek Cleophas, Derrick G. Kourie, Vreda Pieterse, Ina Schaefer, Bruce W. Watson

Browse the full ISoLA paper archive.