MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Annabelle McIver" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Probabilistic predicate transformers: Part 2  
  • by Annabelle McIver, Annabelle Mciver, Carroll Morgan, Carroll Morgan — 1996 — ACM Transactions on Programming Languages and Systems
  • …Programming Research Group PROBABILISTIC PREDICATE TRANSFORMERS: PART 2 Annabelle McIver…
  • Cited by 11 (7 self) – Add To MetaCart
  • Unifying WP and WLP  
  • by Carroll Morgan, Carroll Morgan, Annabelle McIver, Annabelle Mciver — 1995 — Information Processing Letters
  • …Programming Research Group UNIFYING WP AND WLP Carroll Morgan, Annabelle McIver PRG-TR-23-95 \Delta…
  • Cited by 4 (2 self) – Add To MetaCart
  • Cost Analysis of Games, Using Program Logic  
  • by Carroll Morgan, Annabelle McIver — 2001 — In Proc. of the 8th Asia-Pacific Software Engineering Conference (APSEC 2001
  • …Cost analysis of games, using program logic Carroll Morgan y and Annabelle McIver z 7 December…
  • Cited by 3 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB