Publisher
Springer International Publishing
Reference13 articles.
1. Feo-Arenis, S., Westphal, B., Dietsch, D., Muñiz, M., Andisha, A.S., Podelski, A.: Ready for testing: ensuring conformance to industrial standards through formal verification. Formal Asp. Comput. 28(3), 499–527 (2016).
https://doi.org/10.1007/s00165-016-0365-3
2. Coq’Art: The Calculus of Inductive Constructions;Y Bertot,2004
3. Brucker, A.D., Herzberg, M.: The core DOM. Archive of Formal Proofs (2018, submitted).
http://www.isa-afp.org/entries/Core_DOM.shtml
. Formal proof development
4. Brucker, A.D., Herzberg, M.: A formal semantics of the core DOM in Isabelle/HOL. In: WWW 2018 Companion: The 2018 Web Conference Companion. ACM Press (2018).
https://doi.org/10.1145/3184558.3185980
5. Lecture Notes in Computer Science;AD Brucker,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献