par Cousot, Patrick P.;Ganty, Pierre ;Raskin, Jean-François
Référence Lecture notes in computer science, 4634 LNCS, page (333-348)
Publication Publié, 2007
Article révisé par les pairs
Titre:
  • Fixpoint-guided abstraction refinements
Auteur:Cousot, Patrick P.; Ganty, Pierre; Raskin, Jean-François
Informations sur la publication:Lecture notes in computer science, 4634 LNCS, page (333-348)
Statut de publication:Publié, 2007
Sujet CREF:Informatique mathématique
Note générale:SCOPUS: cp.k
Langue:Anglais
Identificateurs:urn:issn:0302-9743
info:scp/38149039417