ERRATA to "The Semantics of the C Programming Language"

Authors:
Yuri Gurevich;James K. Huggins
Affiliations:
-;-
Venue:
CSL '93 Selected Papers from the 7th Workshop on Computer Science Logic
Year:
1993

Citing 0
Cited 2

Formal System Development with KIV

FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Algebraic Semantics of an Imperative Programming Language

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract