Published January 26, 2022
| Version 1.0.0
Software
Open
rebryant/pgpbs-artifact: TACAS22
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)