在“SpringerLink电子期刊”中，命中：423条，耗时：小于0.01 秒

在所有数据库中总计命中：611条

3. Exact Heap Summaries for Symbolic Execution
刊名：Lecture Notes in Computer Science
出版年：2016
5. Counterexample Validation and Interpolation-Based Refinement for Forest Automata
刊名：Lecture Notes in Computer Science
出版年：2017
6. An analysis on secure coding using symbolic execution engine
刊名：Journal of Computer Virology and Hacking Techniques
出版年：2016
7. Certified Symbolic Execution
刊名：Lecture Notes in Computer Science
出版年：2016
8. A General Lattice Model for Merging Symbolic Execution Branches
刊名：Lecture Notes in Computer Science
出版年：2016
9. Can Formal Methods Improve the Efficiency of Code Reviews?
刊名：Lecture Notes in Computer Science
出版年：2016
1
2
3
4
5
6
7
8
9
按检索点细分(423)
题名(97)
关键词(67)
文摘(384)
按出版年细分(423)
2017年(3)
2016年(41)
2015年(42)
2014年(41)
2013年(48)
2012年(48)
2011年(15)
2010年(20)
2009年(30)
2008年(23)
2007年(28)
2006年(18)
2005年(31)
2004年(7)
2003年(10)
2002年(7)
2001年(2)
2000年(4)
2000年及以前(5)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via email.