4 results Refine Results
  1. 1
    יצא לאור 2008
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    FM 2008: formal methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /
  2. 2
    יצא לאור 1998
    Conference Proceeding ספר
    הוספה למועדפים
    שמור ב:
    Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers /
  3. 3
    יצא לאור 2005
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר
    הוספה למועדפים
    שמור ב:
    Recent trends in algebraic development techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. revised selected papers /
  4. 4
    יצא לאור 2007
    Connect to electronic resource
    אלקטרוני Conference Proceeding ספר אלקטרוני
    הוספה למועדפים
    שמור ב:
    Recent trends in algebraic development techniques 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006 : revised selected papers /

כלי חיפוש: