Clousot

swMATH13331MaRDI QIDQ25246FDOQ25246

Author name not available (Why is that?)

Official website: http://research.microsoft.com/apps/pubs/?id=138696

Described by source

• Checking compatibility of bit sizes in floating point comparison operations

This page was built for software: Clousot