Author:
Sharma Asankhaya,Wang Shengyi,Costea Andreea,Hobor Aquinas,Chin Wei-Ngan
Publisher
Springer International Publishing
Reference29 articles.
1. The Coq Proof Assistant,
http://coq.inria.fr/
2. IEEE Standard for Floating-Point Arithmetic. IEEE Std 754-2008, pp. 1–70 (August 2008)
3. Bergmann, M.: An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems. Cambridge University Press (2008)
4. Lecture Notes in Artificial Intelligence;A. Chaieb,2005
5. Chin, W.-N., David, C., Nguyen, H.H., Qin, S.: Automated verification of shape, size and bag properties via user-defined predicates in separation logic. Sci. Comput. Program. 77(9), 1006–1036 (2012)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献