MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Helen Treharne" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • How to Drive a B Machine  
  • by Helen Treharne, Steve Schneider — 2000 — ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users
  • …How to drive a B Machine Helen Treharne and Steve Schneider Department of Computer Science, Royal…
  • Cited by 13 (3 self) – Add To MetaCart
  • Communicating B Machines  
  • by Steve Schneider, Helen Treharne — 2002 — In ZB2002, volume LNCS 2272
  • …Communicating B Machines Steve Schneider and Helen Treharne Department of Computer Science, Royal…
  • Cited by 10 (3 self) – Add To MetaCart
  • Composing Specifications Using Communication  
  • by Helen Treharne, Steve Schneider, Marchia Bramble — 2003 — In ZB2003: Formal Specification and Development in Z and B, volume 2651 of LNCS
  • …Composing Specifications using Communication Helen Treharne, Steve Schneider, and Marchia Bramble…
  • Cited by 1 (0 self) – Add To MetaCart
  • Verifying Controlled Components  
  • by Steve Schneider And, Steve Schneider, Helen Treharne — 2004 — In Proc. IFM
  • …Verifying Controlled Components Steve Schneider and Helen Treharne Department of Computer Science…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB