Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
2021 ◽
Vol 349
◽
pp. 77-84
2021 ◽
Vol ahead-of-print
(ahead-of-print)
◽
Keyword(s):
Keyword(s):
2019 ◽
Vol 48
(1)
◽
pp. 24-42
◽
Keyword(s):
2020 ◽
Vol 54
(5)
◽
pp. 1025-1060
◽
Keyword(s):