Search
Search Constraints
You searched for: Author/Creator Cordeiro, Lucas C.- Cordeiro, Lucas C. [remove] 5
- 005.14 3
- Computer software -- Reliability -- Periodicals 3
- Computer software -- Testing -- Periodicals 3
- Computer software -- Verification -- Periodicals 3
- 004.05 1
- C++ -- memory safety -- model checking -- SMT -- software verification 1
- Computer science -- Periodicals 1
- Computers -- Periodicals 1
- Digital filters -- Finite word-length -- Formal methods -- Bounded model checking 1
- bounded model checking -- formal verification -- Qt framework -- software engineering 1