Update README.md

sprout-uci · May 26, 2022 · ce7fd27 · ce7fd27
1 parent bd4f105
commit ce7fd27
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -1,7 +1,5 @@
 # VERSA Formally Verified Implementation:
 
-**[To appear in IEEE S&P'22]**
-
 With the growing popularity of the Internet-ofThings (IoT), massive (and growing) numbers of specialized
 devices are deployed worldwide, in many everyday settings,
 including homes, offices, vehicles, public spaces, and factories.