Propositional Modal Logic of Programs (Extended Abstract) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Michael J. Fischer, Richard E. Ladner. Propositional Modal Logic of Programs (Extended Abstract). In Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, 2-4 May 1977, Boulder, Colorado, USA. pages 286-294, ACM, 1977.

Abstract is missing.

runs on WebDSL