Model Checking Boot Code from AWS Data Centers (2018) [pdf]

(kroening.com)

1 points | by imakwana 13 hours ago ago

No comments yet.