00818nam 2200193 n 450 TD17067765TDMAGDIG20190501d2007------k--ita-50----ba The fixpoint checking problem: an abstraction refinement perspective.Tesi di dottoratoIn relazione con http://tesi.depositolegale.it/19780/tesi di dottoratoING-INF/05 Sistemi di elaborazione delle informazioniapplication/pdfING-INF/05Sistemi di elaborazione delle informazioniTDRGanty, Pierre AndrèITIT-FI0098http://memoria.depositolegale.it/*/http://tesi.depositolegale.it/19780/1/PhD%2Dthesis%2DPierre%2DGanty.pdfhttp://tesi.depositolegale.it/19780/1/PhD%2Dthesis%2DPierre%2DGanty.pdfCFTDTD