Program Logics for Sequential Higher-Order Control

by Martin Berger
Citations:5 - 3 self