Masahiro Nakata, Katsuyuki Yasuda. Quality Assurance Activities for ASP Based on SLM in Hitachi. In Jyrki Kontio, Reidar Conradi, editors, Software Quality - ECSQ 2002, 7th International Conference, Helsinki, Finland, June 9-13, 2002, Proceedings. Volume 2349 of Lecture Notes in Computer Science, pages 82-89, Springer, 2002. [doi]
Abstract is missing.