Author:
Dennis Greg,Yessenov Kuat,Jackson Daniel
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended Static Checking for Java. In: PLDI 2002, pp. 234–245 (June 2002)
2. Leavens, G., et al.: Java Modeling Language, http://www.jmlspecs.org
3. Lecture Notes in Computer Science;B. Jacobs,2004
4. Fairmichael, F.: Full verification of the KOA tally system University College Dublin. Bachelor’s Thesis (March 2005)
5. Lecture Notes in Computer Science;J. Kiniry,2007
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献