@misc{RISC5437,author = {Temur Kutsia},
title = {{Anti-Unification-Based Techniques for Program Analysis}},
language = {english},
year = {2016},
month = {September 28},
note = {Invited colloquium talk at Cyber-Security Lecture Series organized by the Austrian Institute of Technology (AIT), SBA Research, and Technical University of Vienna},
institution = {Cyber-Security Lecture Series organized by the Austrian Institute of Technology (AIT), SBA Research, and Technical University of Vienna},
url = {https://www.sba-research.org/events/guest-talk-anti-unification-based-techniques-for-program-analysis/}
}