3 ms·
Shameless plug: Building White-Box Abstractions by Program Refinement (https://mehrdad.afshari.me/publications/building-white-box-abstractions-by-program-refine
by mehrdada 8y ago
Shameless plug: Building White-Box Abstractions by Program Refinement (https://mehrdad.afshari.me/publications/building-white-box-abstractions-by-program-refinement.pdf https://mehrdad.afshari.me/publications/building-white-box-a...)