78 Downloads (Pure)
Original languageEnglish
Publication statusPublished - 2010

Cite this

@misc{00606cb010124b6ea1891a4c25c63a94,
title = "The TVL Specification",
author = "Andreas Classen and Quentin Boucher and Paul Faber and Patrick Heymans",
year = "2010",
language = "English",
type = "Other",

}

The TVL Specification. / Classen, Andreas; Boucher, Quentin; Faber, Paul; Heymans, Patrick.

2010, .

Research output: Other contribution

TY - GEN

T1 - The TVL Specification

AU - Classen, Andreas

AU - Boucher, Quentin

AU - Faber, Paul

AU - Heymans, Patrick

PY - 2010

Y1 - 2010

M3 - Other contribution

ER -