Tatsuya Toyama, Atsushi Ohnishi. Rule-based Verification of Scenarios with Pre-conditions and Post-conditions. In 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August - 2 September 2005, Paris, France. pages 319-328, IEEE Computer Society, 2005. [doi]
Abstract is missing.