about
description
article científic
@ca
article scientifique
@fr
articolo scientifico
@it
artigo científico
@pt
bilimsel makale
@tr
scientific article published on 15 August 2016
@en
vedecký článok
@sk
vetenskaplig artikel
@sv
videnskabelig artikel
@da
vědecký článek
@cs
name
Whatever Happened to Formal Methods for Security?
@en
Whatever Happened to Formal Methods for Security?
@nl
type
label
Whatever Happened to Formal Methods for Security?
@en
Whatever Happened to Formal Methods for Security?
@nl
prefLabel
Whatever Happened to Formal Methods for Security?
@en
Whatever Happened to Formal Methods for Security?
@nl
P356
P1433
P1476
Whatever Happened to Formal Methods for Security?
@en
P2093
P356
10.1109/MC.2016.228
P407
P50
P577
2016-08-15T00:00:00Z