107
click to vote
REX
15 years 7 months ago
1989 
In this paper we further develop the methodology of temporal logic as an executable imperative language, presented by Moszkowski [Mos86] and Gabbay [Gab87, Gab89] and present a con...
|
Logical Reasoning