Coq's Vibrant Ecosystem for Verification Engineering (Invited Talk)
- Andrew W. Appel
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
12
Link opens in a new tab
Scopus
citations