MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "The B-Method." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 2,042 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • B-method Overview  
  • by Rowan Davies, Frank Pfenning, Universität Des Saarl, Acknowledgments Robertharper — 1992
  • …’99] 13 What are Intersection Types? • Introduction rule Γ ⊢ M : A Γ ⊢ M : B Γ ⊢ M : A ∧ B…
  • Cited by 1 (0 self) – Add To MetaCart
  • Foundations Of The B Method  
  • by Dominique Cansell, Dominique Méry — 2003 — Computing and Informatics
  • …Computing and Informatics, Vol. 22, 2003, 1–31 FOUNDATIONS OF THE B METHOD Dominique Cansell…
  • Cited by 4 (0 self) – Add To MetaCart
  • B Method Industrial Tutorial  
  • by Ken Robinson School, Ken Robinson — 1990 — in the Eective Topos , Proc. LMS 60
  • …FM’99 B Industrial Tutorial 1 B @FM’99 B Method Industrial Tutorial Ken Robinson School…
  • Add To MetaCart
  • Using the B Method to Model Protocols  
  • by Jean-Louis Lanet Gemplus, Jean-louis Lanet — 1998 — In AFADL’98 [LIS98
  • …Using the B Method to Model Protocols Jean-Louis Lanet Gemplus Research Group, Av du Pic de…
  • Add To MetaCart
  • The B method and the component-based approach  
  • by Dorian Petit , Vincent Poirriez, Georges Mariano — 2003
  • … cancelled due to the SARS virus, June, 2003 The B method and the component-based approach Dorian Petit 1…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB