diff options
Diffstat (limited to '')
| -rw-r--r-- | biblio.bib (renamed from references.bib) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/references.bib b/biblio.bib index e3a73fc..e3a73fc 100644 --- a/references.bib +++ b/biblio.bib |
 |
index : vein.git | |
| VEIN: VErification via Interaction Nets | Eric Marin |
| summaryrefslogtreecommitdiff |
path: root/biblio.bib