Skip to content

Commit a961f69

Browse files
authored
Update README.md
1 parent 3719c54 commit a961f69

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

README.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ This repo contains the source code and data set for the paper _Enabling Efficien
44

55
The accepted paper is available here: [![Paper](https://img.shields.io/badge/Paper-blue.svg)](https://ieeexplore.ieee.org/document/10301231)
66

7-
The PDF version of this paper is available here: [![Paper](https://img.shields.io/badge/PDF-blue.svg)](https://rdegiovanni.github.io/publications/files/ISSRE23.pdf)
7+
The PDF version of this paper is available here: [![Paper](https://img.shields.io/badge/PDF-blue.svg)](https://draayushgarg.github.io/files/Enabling_Efficient_Assertion_Inference.pdf)
88

99
The bib entry to cite this paper is available here: [![Cite](https://img.shields.io/badge/Cite-BibTex-green.svg)](seeker.bib)
1010

0 commit comments

Comments
 (0)