4 ms·
Building White-Box Abstractions by Program Refinement[1] [1]: https://people.inf.ethz.ch/suz/publications/onward16.pdf https://people.inf.ethz.ch/suz/publicati
by tgma 3y ago
Building White-Box Abstractions by Program Refinement[1]
[1]: https://people.inf.ethz.ch/suz/publications/onward16.pdf https://people.inf.ethz.ch/suz/publications/onward16.pdf