Bagnara, Roberto; Carlier, Matthieu; Gori, Roberta; Gotlieb, Arnaud Exploiting binary floating-point representations for constraint propagation. (English) Zbl 1357.68010 INFORMS J. Comput. 28, No. 1, 31-46 (2016). MSC: 68M07 65Y04 68M15 68Q60 PDFBibTeX XMLCite \textit{R. Bagnara} et al., INFORMS J. Comput. 28, No. 1, 31--46 (2016; Zbl 1357.68010) Full Text: DOI arXiv
Gaudel, Marie-Claude Testing from formal specifications, a generic approach. (English) Zbl 0980.68847 Craeynest, Dirk (ed.) et al., Reliable software technologies - Ada-Europe 2001. 6th Ada-Europe international conference, Leuven, Belgium, May 14-18, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2043, 35-48 (2001). MSC: 68U99 68N15 68M15 68N01 PDFBibTeX XMLCite \textit{M.-C. Gaudel}, Lect. Notes Comput. Sci. 2043, 35--48 (2001; Zbl 0980.68847) Full Text: Link