Jiang Guo, Yuehong Liao, Raj Pamula. Extending Eclipse to support object-oriented system verification. In Du Zhang, Taghi M. Khoshgoftaar, Mei-Ling Shyu, editors, Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005, August 15-17, 2005, Las Vegas Hilton, Las Vegas, NV, USA. pages 282-287, IEEE Systems, Man, and Cybernetics Society, 2005. [doi]
Abstract is missing.