Published January 26, 2022
| Version 1.0.0
Software
Open
rebryant/pgpbs-artifact: TACAS22
Authors/Creators
Description
Release for the TACAS 2022 conference. It is intended as an archival version of the code as used to generate the experimental results for that conference.
Files
rebryant/pgpbs-artifact-1.0.0.zip
Files
(2.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:1a4a9165bc6b91499188dcc6fb0a2689
|
2.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/rebryant/pgpbs-artifact/tree/1.0.0 (URL)