Shimon Rura, Barbara Staudt Lerner. Flexible Static Semantic Checking Using First-Order Logic. In Flávio Oquendo, editor, Software Process Technology, 9th International Workshop, EWSPT 2003, Helsinki, Finland, September 1-2, 2003, Proceedings. Volume 2786 of Lecture Notes in Computer Science, pages 143-153, Springer, 2003. [doi]
Abstract is missing.