diff --git a/papers.md b/papers.md index 498e69a..3beec06 100644 --- a/papers.md +++ b/papers.md @@ -33,7 +33,7 @@ permalink: /papers/ Mariposa: Measuring SMT Instability in Automated Program Verification - (, + ( , , ,