Digital Repository

Browsing Brock Theses by Author "Das, Tuhin Kanti"

DSpace/Manakin Repository

Browsing Brock Theses by Author "Das, Tuhin Kanti"

Sort by: Order: Results:

  • Das, Tuhin Kanti (Brock University, 2012-10-11)
    Dynamic logic is an extension of modal logic originally intended for reasoning about computer programs. The method of proving correctness of properties of a computer program using the well-known Hoare Logic can be ...

Search The Repository


Browse

My Account

Statistics


About the Digital Repository