Browsen in Digitales Archiv gesamt nach Personen Zhora, Victor
Zeige Ergebnisse 1 bis 1 von 1
Jahr | Titel | Personen |
---|---|---|
2021 | Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems | Zhora, Victor; Synetskyi, Oleksandr |