Program verification using dynamic logic
Book chapter in Lecture Notes in Computer Science (January 1988)
The most recent citing publication is shown below. View this citation on Dimensions.
Book chapter in Lecture Notes in Computer Science (January 1988)