The Correctness-by-Construction Approach to Programming Volume 200 || Case Study 2: Classifying MADFA Construction Algorithms
- 作者Kourie, Derrick G.; Watson, Bruce W.
- 文件大小587.46KB
- 发表时间2012
- DOI10.1007/978-3-642-27919-5_7
- 页码227-257
LettersDarrell E. Jordan, Andrew Sluss, Rodger E. Jensen, Lloyd L. Zickert, Douglas McKay, Alan D. Weinberger, Allen L. Cannon, Francis D. Collins, O. Wayne Ellerbee, Wendy Gelbart, Michael S. Reeves, Steven Loble and T.C. Cornick · ABA Journal · 1990
XMM–Newton observations of 3C 273K. L. Page; M. J. L. Turner; C. Done; P. T. O'Brien; J. N. Reeves; S. Sembay; M. Stuhlinger · 2004
Chronic Pain: Lost Inhibition?Henderson, L. A.; Peck, C. C.; Petersen, E. T.; Rae, C. D.; Youssef, A. M.; Reeves, J. M.; Wilcox, S. L.; Akhter, R.; Murray, G. M.; Gustin, S. M. · Journal of Neuroscience · 2013
Growth and properties of epitaxial GdNB. M. Ludbrook; I. L. Farrell; M. Kuebel; B. J. Ruck; A. R. H. Preston; H. J. Trodahl; L. Ranno; R. J. Reeves; S. M. Durbin · 2009
Lower respiratory infections treated with cephacetrileD. S. Reeves; A. L. Thomas · 1976
Magnesium for fetal neuroprotectionShane A. Reeves; Ronald S. Gibbs; Steven L. Clark · 2011
Factor VII deficiency diagnosed after minor genital traumaReeves, J. A.; Dowlut-McElroy, T.; Mou, S. M.; Strickland, J. L.; Carpenter, S. L. · Haemophilia · 2017
Oerskovia xanthineolytica bacteremia in an Immunocompromised patient with pneumoniaClifford L. McDonald; Kimberly Chapin-Robertson; S. Reeves Dill; Roy L. Martino · 1994