MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "W A Logic for Z." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Machine-Assisted Theorem-Proving for Software Engineering  
  • by Andrew Martin — 1994 — Technical Monograph PRG-121, ISBN 0-902928-95-3, Oxford University Computing LaboratoryWolfson Building, Parks Road
  • … : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 6 Part I Work with 2OBJ 8 2 Encoding W in 2OBJ 9 2.1 W : A Logic for Z…
  • Cited by 5 (1 self) – Add To MetaCart
  • Annotated Z Bibliography  
  • by Jonathan Bowen Oxford, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
  • …] Woodcock. Calculating properties (preconditions) [314, 193] Woodcock/Brien and Martin. W , a logic for Z…
  • Add To MetaCart
  • Annotated Z Bibliography Jonathan Bowen  
  • by Oxford University Computing, Jonathan Bowen, Susan Stepney, Rosalind Barden — 1995 — In Bowen et al
  • …] Woodcock. Calculating properties (preconditions) [314, 193] Woodcock/Brien and Martin. W, a logic for Z…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB