Formalization and tool-supported analysis of TLS

  • Anders Moen Hagalisletto

Publikasjonsdetaljer

  • Utgiver: Norsk Regnesentral
  • Serie: NR-notat (DART/02/2013)
  • År: 2013
  • Utgave: DART/02/2013
  • Antall sider: 39