A General Framework for Sound and Complete Floyd-Hoare Logics

Rob Arthan, Ursula Martin, Erik A. Mathiesen, Paulo Oliva

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of 'A General Framework for Sound and Complete Floyd-Hoare Logics'. Together they form a unique fingerprint.

Computer Science