4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Slawomir Lasota, David Nowak, Yu Zhang
Software security can be ensured by specifying and verifying security properties of software using formal methods with strong theoretical bases. In particular, programs can be mode…