Jump to : Contact | BibTex reference | EndNote reference |

SJ10a

Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs. In Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010, ENTCS, Volume 267, Pages 101-114, 2010.

Contact

Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

@InProceedings{SJ10a,
   Author = {Schrammel, Peter and Jeannet, Bertrand},
   Title = {Extending Abstract Acceleration to Data-Flow Programs with Numerical Inputs},
   BookTitle = {Int. Workshop on Numerical and Symbolic Abstract Domains, NSAD'2010},
   Volume = {267},
   Number = {1},
   Pages = {101--114},
   Series = {ENTCS},
   Publisher = {Elsevier},
   Year = {2010}
}

EndNote Reference [help]

Get EndNote Reference (.ref)