Author:
Hurlin Clément,Kirchner Hélène
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Examples of abduction with Coq [2],
http://www-sop.inria.fr/everest/Clement.Hurlin/abduction.tgz
2. The Coq proof assistant,
http://coq.inria.fr
3. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
4. Alrajeh, D., Ray, O., Russo, A., Uchitel, S.: Using abduction and induction for operational requirements elaboration. Journal of Applied Logic 7(3), 275–288 (2009); Special Issue: Abduction and Induction in Artificial Intelligence
5. Lecture Notes in Computer Science;M.Y. Becker,2007
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献