Numerical Software Verification Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar (red.) 420,75 kr.
