Jump to Content

Modal Theorem Proving

Zohar Manna
CADE (1986), pp. 172-189

Abstract

Research Areas