Software Development
Formal Verification Guide
Formal methods, theorem proving, and model checking for CS research
- Publisher / source
- brycewang-stanford/Auto-Empirical-Research-Skills (found on GitHub top repositories)
- Upstream record
- brycewang-stanford/Auto-Empirical-Research-Skills
- Version
- Version 1
- Published
- Publication review
- Approved for publication
- Content fingerprint
e6f068281d79610947931ceb4ea9fc2da19ad27772707acf03933e26d93f4da7