3 ms·
Thanks. Do you have a link or reference to more material on the certificates. I dont understand a bit, but I want to learn more.
by andi999 4y ago
Thanks. Do you have a link or reference to more material on the certificates. I dont understand a bit, but I want to learn more.
- Jweb_Guru 4y agoI will just steal from the paper's author (Sarek) and point you to the first two talks and lecture notes by Randy Bryant at this link: https://fm.csl.sri.com/SSFT22/#splogic https://fm.csl.sri.com/SSFT22/#splogic.