4 ms·
The paper is indeed interesting and a good starting point, thanks for that. It also has some references worth checking out. However it is rather informal in its
by fedeb95 4y ago
The paper is indeed interesting and a good starting point, thanks for that. It also has some references worth checking out. However it is rather informal in its reasoning, I have yet to find papers that try to formalise a bit this kind of problems in software.