[Lecture Notes in Computer Science] Verification, Model Checking, and Abstract Interpretation Volume 10747 || Refinement Types for Ruby
- 作者Dillig, Isil; Palsberg, Jens
- 文件大小2027.62KB
- 发表时间2018
- DOI10.1007/978-3-319-73721-8_13
- 页码269-290
Factors associated with ‘caregiver burden’ for atrial fibrillation patientsC. I. Coleman; S. M. Coleman; J. Vanderpoel; W. Nelson; J. A. Colby; J. M. Scholle; J. Kluger · 2012
Theory IF. T. Arecchi; A. Politi; L. Ulivi; L. A. Lugiato; V. Benza; L. M. Narducci; J. D. Farina; M. Giglio; F. Casagrande; G. Casati; A. E. Kaplan; F. Lisi; W. Brunner; H. Paul; N. B. Abraham; M. D. Coleman; M. Maeda; J. C. Wesson; W. J. Firth; E. Abraham; E. M. Wright; K. Ikeda; O. Akimoto; T. Sh. Efendiev; V. Kostenich; A. N. Rubinov; G. B. Altshuler; E. G. Dulneva; I. K. Meshkovskii · 1982
Analyses of two mute swan populations and the effects of clutch reduction: implications for population managementG. V. Watola; D. A. Stone; G. C. Smith; G. J. Forrester; A. E. Coleman; J. T. Coleman; M. J. Goulding; K. A. Robinson; T. P. Milsom · 2003
Analyses of Two Mute Swan Populations and the Effects of Clutch Reduction: Implications for Population ManagementG. V. Watola, D. A. Stone, G. C. Smith, G. J. Forrester, A. E. Coleman, J. T. Coleman, M. J. Goulding, K. A. Robinson and T. P. Milsom · Journal of Applied Ecology · 2003
β-Thalassemia in Southwestern IranMerat, A.; Haghshenas, M.; Pour, Z. Mostafavi; Plonczynski, M. W.; Harrell, A. N.; Coleman, M. B.; Steinberg, M. H. · Hemoglobin · 1993
transitionZawadzki, M.; Wright, R.; Dolmat, G.; Martin, M. F.; Diaz, B.; Hargreaves, L.; Coleman, D.; Fursa, D. V.; Zammit, M. C.; Scarlett, L. H.; Tapley, J. K.; Savage, J. S.; Bray, I.; Khakoo, M. A. · Physical Review A · 2018
Divergence ofParartemiaandArtemiahaemoglobin genesM. Coleman; M. C. Geddes; C. N. A. Trotman · 1998
MacrobrachiumM. Pellon-Maison; C. F. Garcia; E. R. Cattaneo; R. A. Coleman; M. R. Gonzalez-Baro · 2009
Grendel and the Book of WisdomAnlezark, D. · Notes and Queries · 2006
Hrothgar's Speech Welcoming BeowulfBammesberger, A. · Notes and Queries · 2006
Grendel Enters HeorotBammesberger, A. · Notes and Queries · 2007
A Highland Funeral, 1721The Scottish Antiquary, or, Northern Notes and Queries · 1890
Scots in Sweden (Continued)The Scottish Antiquary, or, Northern Notes and Queries · 1891
Fisher-Folk SpellsThe Scottish Antiquary, or, Northern Notes and Queries · 1891
GlaudW. M. C. · The Scottish Antiquary, or, Northern Notes and Queries · 1891
QueriesK. W. Murray, Geo. Frater, T. T. K. and A. Hutcheson · The Scottish Antiquary, or, Northern Notes and Queries · 1891