[Lecture Notes in Computer Science] ZB 2005: Formal Specification and Development in Z and B Volume 3455 || CZT: A Framework for Z Tools
- 作者Treharne, Helen; King, Steve; Henson, Martin; Schneider, Steve
- 文件大小312.12KB
- 发表时间2005
- DOI10.1007/11415787_5
- 页码65-84
同作者推荐
The promiscuous receptorThomas E. Newsom-Davis; Laura M. Kenny; Sarah Ngan; Judith King; Jonathan Waxman · 2009
Gene therapy for prostate cancerMark Bower; Jonathan Waxman · 1997
Preserving fertility in Hodgkin's diseaseJonathan Waxman · 1987
Hormonal management of prostate cancerHarpreet S. Wasan; Jonathan Waxman · 1992
UK PROSTATE CHARITIES MERGERoger Kirby; Owen Sharp; Paul Forster; Jonathan Waxman · 2012
Is prostate cancer worth diagnosing?Jonathan Waxman; Denise Sheer · 1995
Genetic alterations in bladder cancerMargaretA Knowles; GrahamA Currie; Kevin Harrington; Jonathan Waxman · 1993
MacLeod's Introduction to Medicine ||Waxman, Jonathan · 2014