Viktor Malík
ORCIDPublication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 8
Publications (10 Years): 8
Publications
- Daniel Kroening, Viktor Malík, Peter Schrammel, Tomás Vojnar
- Viktor Malík, Petr Silling, Tomás Vojnar
- Viktor Malík, Martin Hruska, Peter Schrammel, Tomás Vojnar