Expressing program looping in regular dynamic logic

No abstract is available in the live database for this paper.

Authors

• Albert R. Meyer
• Karl Winklmann

Keywords

No keywords are indexed for this paper.