Denotational semantics of ANSI C
β
Nikolaos S. Papaspyrou
π
Article
π
2001
π
Elsevier Science
π
English
β 344 KB