Kazuhiro Ogata, Kokichi Futatsugi
Proof Score Approach to Verification of Liveness Properties
SEKE, 2005.
@inproceedings{SEKE-2005-OgataF,
author = "Kazuhiro Ogata and Kokichi Futatsugi",
booktitle = "{Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering}",
isbn = "1-891706-16-0",
pages = "608--613",
title = "{Proof Score Approach to Verification of Liveness Properties}",
year = 2005,
}