Program testing versus proofs of correctness
- 作者William E. Howden
- 卷第1卷
- 期第1期
- 印刷ISSN0960-0833
- 电子ISSN1099-1689
- 文件大小675.25KB
- 发表时间1991
- DOI10.1002/stvr.4370010103
- 页码5-15
ISO/IEC Meeting - November 2002 Meeting SummaryBass, Ellen J. · INSIGHT · 2004
Meeting Summary: 2008 Annual Meeting of the American Society of AndrologyJournal of Andrology · 2009
The Summer Meeting at Salisbury, 1947Preface, and Summary of the MeetingArchaeological Journal · 1947
The Summer Meeting at Lincoln, 1946Introduction, and Summary of the MeetingArchaeological Journal · 1946
Meeting summary: the inaugural meeting of the US DOHaD societyMacKay, Harry; Heindel, Jerrold J.; Ross, Michael G.; Waterland, Robert A. · Environmental Epigenetics · 2017
Summary of NCRP 2019 Annual Meeting, NCRP Meeting the Challenge at 90Vetter, Richard J.; Bushberg, Jerrold T.; Mettler, Fred A. · Health Physics · 2020
Conference Summary: Summary of the 14th IAEA Technical Committee Meeting on Research Using Small Fusion Devices2002
Exploiting Derivatives, Meeting Guides and Summary Points in Developing Electronic Meeting MinutesRaikundalia, Gitesh K. · Journal of Decision Systems · 2001
Beta2 microglobulin in multiple myelomaDr. Raymond Alexanian; Bart Barlogie; Herbert Fritsche · 1985
New treatment strategies for multiple myelomaDr Raymond Alexanian; Bart Barlogie · 1990
VM-26 in gastric cancerJeffrey L. Berenberg; Catherine Tangen; John S. Macdonald; Bart Barlogie; Leslie Rogers Laufman · 1993
Waldenström’s macroglobulinemiaK. Raman Desikan; Madhav V. Dhodapkar; Bart Barlogie · 2000
Treatment advances in multiple myelomaGuido Tricot; Bart Barlogie; Frits Van Rhee · 2004
Multiple myeloma: biology and therapyBart Barlogie; Joshua Epstein · 1990
2Biological aspects of multiple myelomaJoshua Epstein; Richard Hoover; Jacki Kornbluth; Bart Barlogie · 1995