Model Checking Boot Code From AWS Data Centers
Formal Methods in System Design - Netherlands
doi 10.1007/s10703-020-00344-2
Full Text
Open PDFAbstract
Available in full text
Date
April 15, 2020
Authors
Publisher
Springer Science and Business Media LLC