"A Critique of the Foundations of Hoare-Style Programming Logics" by Michael O'Donnell
 

Date of this Version

1980

Tech Report Number

80-338

Number of Pages

32

Download

Plum Print visual indicator of research metrics
PlumX Metrics
  • Usage
    • Downloads: 596
    • Abstract Views: 23
see details

Share

COinS