ask others

Marco Gaboardi

◀ ▶ joint publications with Tachio Terauchi

> Home > Persons > Marco Gaboardi
> Home > Persons > Tachio Terauchi

Publications

2015
[i7]
- view
  - electronic edition @ nii.ac.jp
- export record
  dblp key:
  - journals/shonan-reports/GaboardiNT15
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/shonan-reports/GaboardiNT15
Marco Gaboardi, Vivek Nigam, Tachio Terauchi:
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). NII Shonan Meet. Rep. 2015 (2015)

maintained by

at