Predicate abstraction for software verification
- 期刊名称ACM SIGPLAN Notices
- 作者Flanagan, Cormac; Qadeer, Shaz
- 卷第37卷
- 期第1期
- 印刷ISSN0362-1340
- 文件大小238.89KB
- 发表时间2002-01-01
- DOI10.1145/565816.503291
- 页码191-202
Orientation and navigation in AmphibiaSinsch, Ulrich · Marine and Freshwater Behaviour and Physiology · 2006
Sensory ecology of scyphomedusaeHamner, William M. · Marine and Freshwater Behaviour and Physiology · 1995
Short CommunicationRacotta, Ilie S.; Palacios, Elena; MÉndez, Lia · Marine and Freshwater Behaviour and Physiology · 2002
Bioluminescence and the Pelagic Visual EnvironmentWidder, Edith · Marine and Freshwater Behaviour and Physiology · 2002
Breeding antarctic krill in captivityHirano, Yasuo; Matsuda, Tsuyoshi; Kawaguchi, So · Marine and Freshwater Behaviour and Physiology · 2003
Book reviewsYeates, G.W.; Day, Rob · Marine and Freshwater Behaviour and Physiology · 2008
PrefaceFuiman, Lee A. · Marine and Freshwater Behaviour and Physiology · 1996
PrefaceMacmillan, David · Marine and Freshwater Behaviour and Physiology · 1999