Update README.md

jabocken · Mar 3, 2022 · a405b57 · a405b57
1 parent bee6e34
commit a405b57
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 [![DOI](https://zenodo.org/badge/288908492.svg)](https://zenodo.org/badge/latestdoi/288908492)
 
 # Introduction
-This is the artefact belonging the PLDI'22 paper entitled *Formally Verified Lifting of C-compiled x86-64 Binaries*. The purpose of this artefact is to provide a permanent snapshot of the code that can be used to reproduce the results presented in that paper. This code belongs to a larger project, called FoxDec. For an up-to-date version of this code, we refer to [https://ssrg-vt.github.io/FoxDec](https://ssrg-vt.github.io/FoxDec).
+This is the artifact belonging the PLDI'22 paper entitled *Formally Verified Lifting of C-compiled x86-64 Binaries*. The purpose of this artifact is to provide a permanent snapshot of the code that can be used to reproduce the results presented in that paper. This code belongs to a larger project, called FoxDec. For an up-to-date version of this code, refer to [https://ssrg-vt.github.io/FoxDec](https://ssrg-vt.github.io/FoxDec).
 
 # Initial setup