fixing typo

imdea-software · Jun 16, 2023 · 7b8d755 · 7b8d755
1 parent db12b09
commit 7b8d755
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -113,7 +113,7 @@ The original version of HTT can be found [here](https://software.imdea.org/~alek
 
 * [Structuring the Verification of Heap-Manipulating Programs](http://software.imdea.org/~aleks/htt/reflect.pdf)
 
-  Aleksandar Nanevski, Viktor Vefeiadis and Josh Berfine. POPL 2010.
+  Aleksandar Nanevski, Viktor Vafeiadis and Josh Berfine. POPL 2010.
 
   This paper introduces what is closest to the current structure of the implementation of HTT.
   It puts emphasis on structuring programs and proofs together, rather than on attacking the

diff --git a/meta.yml b/meta.yml
@@ -162,7 +162,7 @@ documentation: |-
 
   * [Structuring the Verification of Heap-Manipulating Programs](http://software.imdea.org/~aleks/htt/reflect.pdf)
 
-    Aleksandar Nanevski, Viktor Vefeiadis and Josh Berfine. POPL 2010.
+    Aleksandar Nanevski, Viktor Vafeiadis and Josh Berfine. POPL 2010.
 
     This paper introduces what is closest to the current structure of the implementation of HTT.
     It puts emphasis on structuring programs and proofs together, rather than on attacking the