author = "Nuno Claudino Pereira Lopes and J. Monteiro",
title = "Weakest Precondition Synthesis for Compiler Optimizations",
booktitle = "15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)",
year = 2014,
month = jan,
BibTexOrigem = "9816 www.Inesc-ID.pt 2019-01-20"
You may copy/past the above, or you may click here to export itThis is a recent BibTex adaptation in test which probably do not cover all the conversions needed
You might want to look the old version instead