Электронный каталог

страница из

всего найдено записей: 1,
  отображать
10 записей 20 записей 40 записей

Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line