yarnton99
- Karma
- 20
- Created
- September 21, 2020 (5y ago)
- Submissions
- 0
-
Formal methods (theorem proving, model checking, static analysis, abstract interpretation, advanced type systems, program semantics, etc) have remained a relatively niche topic during the last two and a half decades.…
- Use of adenovirus type-5 vectored vaccines: a cautionary tale (thelancet.com)