Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables (bibtex)
by Alexandre Chapoutot
Reference:
A. Chapoutot, "Interval Slopes as a Numerical Abstract Domain for Floating-Point Variables", in Static Analysis Symposium (SAS'10), Springer, pp. 184-200.
Bibtex Entry:
@inproceedings{Chap10,
	Author = {Alexandre Chapoutot},
	Booktitle = {Static Analysis Symposium (SAS'10)},
	Pages = {184--200},
	Publisher = {Springer},
	Series = {LNCS},
	Title = {{Interval Slopes as a Numerical Abstract Domain for
                  Floating-Point Variables}},
	Volume = {6337},
	Year = {2010}
}
Powered by bibtexbrowser