Podobné jednotky

• Verification, model checking, and abstract interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007 : proceedings /
  Vydáno: (2007)
• Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006 : proceedings /
  Vydáno: (2006)
• Verification, model checking, and abstract interpretation : 9th International Conference, VMCAI 2008 : San Francisco, USA, January 7-9, 2008 : proceedings /
  Vydáno: (2008)
• Verification, model checking, and abstract interpretation : 4th International Workshop, VMCAI 2003, New York, NY, USA, January 9-11, 2003 : proceedings /
  Vydáno: (2003)
• Verification, model checking, and abstract interpretation : third International Workshop, VMCAI 2002, Venice, Italy, January 21.-22., 2002 : revised papers /
  Vydáno: (2002)