Tomáš Kulík
- A Survey of Practical Formal Methods for Security
2021/09/03 by Tomáš Kulík, Kulik, Tomas, Brijesh Dongol +11 · 3 citations
Computer Science · Engineering · #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Information and Cyber Security #Safety Systems Engineering in Autonomy #Software Reliability and Analysis Research