VerifyThis

MaRDI QIDQ40353swMATHFDO

Authors Peter Lammich, Simon Wimmer

Publication date 27 April 2018

Official website https://www.isa-afp.org/entries/VerifyThis2018.html

Cited in

(2)

• Verified memoization and dynamic programming
• Memoization

This page was built for software: VerifyThis