Oracle-based checking of untrusted software
- 期刊名称ACM SIGPLAN Notices
- 作者Necula, George C.; Rahul, S. P.
- 卷第36卷
- 期第3期
- 印刷ISSN0362-1340
- 文件大小804.11KB
- 发表时间2001-03-01
- DOI10.1145/373243.360216
- 页码142-154
同期刊推荐
Biomarkers of endometriosisFassbender, Amelie; Vodolazkaia, Alexandra; Saunders, Philippa; Lebovic, Dan; Waelkens, Etienne; De Moor, Bart; D'Hooghe, Thomas · Fertility and Sterility · 2013
In vitro maturation: a committee opinionFertility and Sterility · 2013
IntroductionDonnez, Jacques · Fertility and Sterility · 2013
IntroductionLegro, Richard S. · Fertility and Sterility · 2013
Optimizing natural fertility: a committee opinionFertility and Sterility · 2013
Uterus transplantationBrännström, Mats · Fertility and Sterility · 2013
Ovarian stimulation in cancer patientsCakmak, Hakan; Rosen, Mitchell P. · Fertility and Sterility · 2013
IntroductionFauser, Bart C.J. M.; Serour, Gamal I. · Fertility and Sterility · 2013