Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Y. Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás E. Uribe
STeP: The Stanford Temporal Prover
TAPSOFT, 1995.
@inproceedings{TAPSOFT-1995-MannaBBCCADKLSU,
author = "Zohar Manna and Nikolaj Bjørner and Anca Browne and Edward Y. Chang and Michael Colón and Luca de Alfaro and Harish Devarajan and Arjun Kapur and Jaejin Lee and Henny Sipma and Tomás E. Uribe",
booktitle = "{Proceedings of the Sixth International Joint Conference on Theory and Practice of Software Development}",
doi = "10.1007/3-540-59293-8_237",
isbn = "3-540-59293-8",
pages = "793--794",
publisher = "{Springer}",
title = "{STeP: The Stanford Temporal Prover}",
year = 1995,
}