Jeffrey J. P. Tsai, Alan Liu, Krishnakumar R. Nair
Debugging Logic-Based Requirements Specifications — a FRORL Approach
SEKE, 1993.
@inproceedings{SEKE-1993-TsaiLN,
author = "Jeffrey J. P. Tsai and Alan Liu and Krishnakumar R. Nair",
booktitle = "{Proceedings of the Fifth International Conference on Software Engineering and Knowledge Engineering}",
pages = "372--379",
publisher = "{Knowledge Systems Institute}",
title = "{Debugging Logic-Based Requirements Specifications — a FRORL Approach}",
year = 1993,
}