Rigorous proofs of program correctness without formal logic
- 期刊名称ACM SIGCSE Bulletin
- 作者Wadkins, J. R. Jefferson
- 卷第27卷
- 期第1期
- 印刷ISSN0097-8418
- 文件大小794.08KB
- 发表时间1995-03-15
- DOI10.1145/199691.199834
- 页码307-311
LettersHerman Benson, Gary Gerstle, Lois Weiner and Tom Mooney · New Labor Forum · 1999
Book ReviewsDalton, Timothy J.; Lynne, Gary D.; Hurd, Brian H.; Mooney, Siân · Journal of Natural Resources Policy Research · 2008
Anterolateral Ankle Dislocation Without FractureMOONEY, JAMES F.; NAYLOR, PAUL T.; POEHLING, GARY G. · Southern Medical Journal · 1991
Current Status of Intraneural Phenol InjectionsMOONEY, VERT; FRYKMAN, GARY; MCLAMB, JAMES · Clinical Orthopaedics and Related Research · 1969
Screening practices in cancer survivorsDeborah K. Mayer; Norma C. Terrin; Usha Menon; Gary L. Kreps; Kathy McCance; Susan K. Parsons; Kathleen H. Mooney · 2007
Crustal structure of northeastern CaliforniaZucca, John J.; Fuis, Gary S.; Milkereit, Bernd; Mooney, Walter D.; Catchings, Rufus D. · Journal of Geophysical Research · 1986
An Alternative Approach to Trade Area AnalysisHarris, Thomas R.; Smith, Gary W.; Mooney, Michael B. · Community Development Society. Journal · 1990
WizWhyMeidan, Abraham · ACM SIGBIO Newsletter · 1998
BiopythonChapman, Brad; Chang, Jeffrey · ACM SIGBIO Newsletter · 2000
Abstract machine models of cell metabolismHolcombe, Mike · ACM SIGBIO Newsletter · 1992
The streaming organismZajicek, G. · ACM SIGBIO Newsletter · 1992
Analogy or identityNyce, James M. · ACM SIGBIO Newsletter · 1992
Computing dendritic growthHamilton, P. · ACM SIGBIO Newsletter · 1992
Genetics for genetic algorithmsSumida, Brian · ACM SIGBIO Newsletter · 1992
Computation and the immune systemForrest, Stephanie; Perelson, Alan S. · ACM SIGBIO Newsletter · 1992