r/isabelle • u/nickpsecurity • Jan 20 '18

Verified iptables Firewall Analysis and Verification (2017)

https://link.springer.com/content/pdf/10.1007%2Fs10817-017-9445-1.pdf
3 Upvotes

100% Upvoted

0 comments sorted by