Formalization of Advanced Map Operations

by Martin Erwig , Markus Schneider
Citations:4 - 0 self