↓ Skip to main content

Computer Aided Verification

Overview of attention for book
Computer Aided Verification
Springer International Publishing
Attention for Chapter: Latticed k-Induction with an Application to Probabilistic Programs
Altmetric Badge

Mentioned by

twitter
1 X user

Readers on

mendeley
3 Mendeley