Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Charles, J.: Adding native specifications to JML. In: FTfJP (2006)
2. Cheon, Y., Leavens, G., Sitaraman, M., Edwards, S.: Model variables: cleanly supporting abstraction in design by contract. Software: Practice and Experience 35(6), 583–599 (2005)
3. Darvas, Á.: Reasoning About Data Abstraction in Contract Languages. Ph.D. thesis, ETH Zurich (2009)
4. Darvas, Á., Müller, P.: Faithful mapping of model classes to mathematical structures. IET Software 2(6), 477–499 (2008)
5. Lecture Notes in Computer Science;W.M. Farmer,1994
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Logic against ghosts;Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing;2019-04-08
2. Ghosts for Lists: From Axiomatic to Executable Specifications;Tests and Proofs;2018