[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Assisted Coverage Closure
- 作者Rayadurgam, Sanjai; Tkachuk, Oksana
- 文件大小1370.23KB
- 发表时间2016
- DOI10.1007/978-3-319-40648-0_5
- 页码49-64
同作者推荐
Antidepressive behaviour: A preliminary reportVicky Rippere · 1976
Some cognitive dimensions of antidepressive behaviourVicky Rippere · 1977
Scaling the helpfulness of antidepressive activitiesVicky Rippere · 1979
What makes depressed people feel worse?Vicky Rippere · 1980
COFFEE AND TEA IN PSYCHIATRIC HOSPITALSRippere, Vicky · The Lancet · 1981
TOTAL ALLERGY SYNDROMECotterill, J.A; Kinnell, H.G; Rippere, Vicky; Vander Walt, H.S · The Lancet · 1982
Can hypoglycaemia cause obsessions and ruminations?Rippere, Vicky · 1984
VITAMINS, MINERALS, AND IQRippere, Vicky; Benton, David · 1988