Formalization and tool-supported analysis of TLS Publikasjonsdetaljer Utgiver: Norsk Regnesentral Serie: NR-notat () År: 2013 Antall sider: 39 Du er her: Hjem Publikasjoner Rapport Formalization and tool-supported analysis of TLS