Bilel Gargouri, Mohamed Jmaiel, Abdelmajid Ben Hamadou. An Environment for Formal Specification and Verification of Lingware. In László Monostori, József Váncza, Moonis Ali, editors, Engineering of Intelligent Systems, 14th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2001, Budapest, Hungary, June 4-7, 2001, Proceedings. Volume 2070 of Lecture Notes in Computer Science, pages 539-545, Springer, 2001. [doi]
Abstract is missing.