According to our database1, Patrick Metzler authored at least 6 papers between 2016 and 2020.
Legend:Book In proceedings Article PhD thesis Other
PhD thesis, 2020
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Proceedings of the 11th ACM on Asia Conference on Computer and Communications Security, 2016
Proceedings of the Automated Technology for Verification and Analysis, 2016