Automatic synthesis of optimal invariant assertions
- 期刊名称ACM SIGART Bulletin
- 作者Cousot, Patrick; Cousot, Radhia
- 期第64期
- 印刷ISSN0163-5719
- 文件大小753.72KB
- 发表时间1977-08-01
- DOI10.1145/872736.806926
- 页码1-12
同期刊推荐
Vaccines against infectious coryzaBlackall, P. J. · World's Poultry Science Journal · 1995
Egg shell strengthBowman, J. C.; Challender, N. I. · British Poultry Science · 1963
Egg shell strenghWells, R. G. · British Poultry Science · 1967
NutritionCarré, B.; Gomez, J.; Chagneau, A. M. · British Poultry Science · 1995
Blood groups in chickens <sup>1</sup>Gilmour, D. G. · British Poultry Science · 1960
Future considerations in poultry nutritionLeeson, S. · Poultry Science · 2012
True and apparent metabolisable energySibbald, I. R.; Wolynetz, M. S. · British Poultry Science · 1987
Physical properties of egg shellsVoisey, Peter W.; Hunt, J. R. · British Poultry Science · 1967