Yazar
Rayadurgam, Sanjai. editor.
Format:
Electronic Resources
Alıntı:
-- Specification and Proof of High-Level Functional Properties of Bit-Level Programs -- Formal Verification of an
View Other Search Results
Yazar
Dillig, Isil. editor.
Format:
Electronic Resources
Alıntı:
-- High-Level Abstractions for Simplifying Extended String Constraints in SMT -- Alternating Automata Modulo
View Other Search Results