[图书][B] Automated deductive verification of systems software

E Pek - 2015 - search.proquest.com
Software has become an integral part of our everyday lives, and so is our reliance on his
correct functioning. Systems software lies at the heart of computer systems, consequently …
相关文章

Automated deductive verification of systems software

E Pek - 2015 - ideals.illinois.edu
Software has become an integral part of our everyday lives, and so is our reliance on his
correct functioning. Systems software lies at the heart of computer systems, consequently …
[PDF] core.ac.uk

[PDF][PDF] AUTOMATED DEDUCTIVE VERIFICATION OF SYSTEMS SOFTWARE

E PEK - 2015 - core.ac.uk
Software has become an integral part of our everyday lives, and so is our reliance on his
correct functioning. Systems software lies at the heart of computer systems, consequently …