Jaemyung Cho, Junbeom Yoo, Sung Deok Cha. NuEditor - A Tool Suite for Specification and Verification of NuSCR. In Walter Dosch, Roger Y. Lee, Chisu Wu, editors, Software Engineering Research, Management and Applications, Second International Conference, SERA 2004, Los Angeles, CA, USA, May 5-7, 2004, Selected Revised Papers. Volume 3647 of Lecture Notes in Computer Science, pages 19-28, Springer, 2004. [doi]
Abstract is missing.