1
Cyhoeddwyd 2007
Tabl Cynhwysion: ... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...
Cael y testun llawn
Electronig eLyfr