The propositional dynamic logic of deterministic, well-structured programs

Document Details

Document Type
Pub Defense Publication
Publication Date
Jan 01, 1983
Source ID
10.1016/0304-3975(83)90097-x

Entities

People

  • John Reif
  • Joseph Halpern

Organizations

  • Engineering and Physical Sciences Research Council
  • National Science Foundation
  • Office of Naval Research