Clousot

MaRDI QIDQ25246swMATHFDO

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