Abdesselam Redouane. Experience Using Formal Methods for Capturing Requirements of Web-Based Applications. In Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 19-20 August 2002, Calgary, Canada. pages 213-221, IEEE Computer Society, 2002. [doi]
Abstract is missing.