LDR 00818nam 2200193 n 450 001 TD17067765 049 $aTDMAGDIG 100 $a20190501d2007------k--ita-50----ba 200 1 $aThe fixpoint checking problem: an abstraction refinement perspective.$bTesi di dottorato 300 $aIn relazione con http://tesi.depositolegale.it/19780/ 328 0$btesi di dottorato$cING-INF/05 Sistemi di elaborazione delle informazioni 336 $aapplication/pdf 689 0 $aING-INF/05$bSistemi di elaborazione delle informazioni$cTDR 700 0$aGanty, Pierre Andrè 801 3$aIT$bIT-FI0098 856 4 $uhttp://memoria.depositolegale.it/*/http://tesi.depositolegale.it/19780/1/PhD%2Dthesis%2DPierre%2DGanty.pdf$2http://tesi.depositolegale.it/19780/1/PhD%2Dthesis%2DPierre%2DGanty.pdf 997 $aCF FMT $aTD FOR $aTD