Ganty, Pierre Andrè
The fixpoint checking problem: an abstraction refinement perspective. [Tesi di dottorato]
In relazione con http://tesi.depositolegale.it/19780/
application/pdf
ING-INF/05 - Sistemi di elaborazione delle informazioni


Tesi di dottorato. | Lingua: | Paese: | BID: TD17067765