Published March 31, 2015
| Version v1.0
Software
Open
eiffelbase2: FM'15
Authors/Creators
Description
This version of the library accompanies the following paper: Nadia Polikarpova, Julian Tschannen, Carlo A. Furia. A Fully Verified Container Library. In Formal Methods 2015.
Files
eiffelbase2-v1.0.zip
Files
(87.4 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:64b1f1ce3f57fa73051e8718717bf4ba
|
87.4 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/nadia-polikarpova/eiffelbase2/tree/v1.0 (URL)