Diffusion afp-devel ecd8d59a71f5

Updated citation
ecd8d59a71f5
Actions

Tags

None

Subscribers

None

Description

Updated citation

Details

Provenance

Thibault Dardinier <thibault.dardinier@inf.ethz.ch>

Authored on

Parents

rAFPf9c693d1035a: merge from afp-2022

Branches

Unknown

Tags

Unknown

Event Timeline

Thibault Dardinier <thibault.dardinier@inf.ethz.ch> committed rAFPecd8d59a71f5: Updated citation.Nov 1 2022, 2:24 PM

Changes (1)

Path

Size

thys/

Separation_Logic_Unbounded/

document/

rAFPecd8d59a71f5

thys/Separation_Logic_Unbounded/document/root.bib

Loading...