SJ11a

Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. In Static Analysis Symposium, SAS'11, LNCS, Volume 6887, Pages 233-248, Venice (Italy), 2011.

Contact

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

BibTex Reference

@InProceedings{SJ11a,
   Author = {Schrammel, Peter and Jeannet, Bertrand},
   Title = {Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs},
   BookTitle = {Static Analysis Symposium, SAS'11},
   Volume = {6887},
   Pages = {233--248},
   Series = {LNCS},
   Address = {Venice (Italy)},
   Year = {2011}
}

EndNote Reference [help]

Get EndNote Reference (.ref)