Scalable Techniques for Formal Verification
by Sandip Ray
Systems engineeringEngineeringComputer-aided designComputer systemsFormal methods (Computer science)VerificationAutomatic theorem provingSystem design
Writing a summary for young readers…
For young readers
Book data: Open Library