Ing. Štefan Martiček


2018MALÍK Viktor, MARTIČEK Štefan, SCHRAMMEL Peter, SRIVAS Mandayam, VOJNAR Tomáš and WAHLANG Johanan. 2LS: Memory Safety and Non-termination (Competition Contribution). In: Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, part 2. Thessaloniki: Springer International Publishing, 2018, pp. 417-421. ISBN 978-3-319-89962-6.

Show all publications

Your IPv4 address:
Switch to https