Marius Brezovan, Costin Badica. Using the Event-B Formal Method and the Rodin Framework for Verification the Knowledge Base of an Rule-Based Expert System. In Grzegorz J. Nalepa, Joachim Baumeister, editors, Synergies Between Knowledge Engineering and Software Engineering. Volume 626 of Advances in Intelligent Systems and Computing, pages 107-127, Springer, 2018. [doi]
Abstract is missing.