Skip to content

Update Citation in Spotlight Tamarin Prover

Closes #369 (closed)

Link zur Preview

Just updating the DOI by personal request from @demme

Edited by Marco De Lucia

Merge request reports