martijnrenssen
Results
1
issues of
martijnrenssen
For VerCors, I am working on implementing verification of programs that use floating point numbers (for my master thesis). The way that I plan on implementing the support for floating...