Published January 24, 2023
| Version icst-2023-zenodo
Software
Open
Tritlo/spectacular: ICST 2023
Creators
- 1. Chalmers University of Technology
- 2. Well-Typed
- 3. UC San Diego
Description
Spectacular as published in ICST 2023
Files
Tritlo/spectacular-icst-2023-zenodo.zip
Files
(146.7 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:e2f60e1c3471b332599f7492474f5d87
|
146.7 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/Tritlo/spectacular/tree/icst-2023-zenodo (URL)