DMCA

Equational verification of cache blocking in lu decomposition using kleene algebra with tests (2002)

by Adam Barth , Dexter Kozen
Citations:15 - 7 self