@article{Leino_2005,
doi = {10.1016/j.ipl.2004.10.015},
url = {https://doi.org/10.1016%2Fj.ipl.2004.10.015},
year = {2005},
month = {mar},
publisher = {Elsevier {BV}},
volume = {93},
number = {6},
pages = {281--288},
author = {K. Rustan M. Leino},
title = {Efficient weakest preconditions},
journal = {Information Processing Letters}
}
Library Size: 13G (12942 entries),
Last Updated: Apr 05, 2026, 07:51:09,
Build Time: N/A