The 1998 ACM Computing Classification System
Toggle navigation
Home
Advanced search
About...
My account
Assertions
Home
Theory of Computation
LOGICS AND MEANINGS OF PROGRAMS
Specifying and Verifying and Reasoning about Programs
Assertions
Term
Metadata
Assertions
Broader Terms
BT
↑
Specifying and Verifying and Reasoning about Programs
Date of creation
30-Dec-2011
Accepted term
30-Dec-2011
Descendant terms
0
ARK
ark:/99152/t3l3rz7ee4o274
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
BS8723-5
DC
MADS
SKOS-Core
VDEX
XTM
Zthes
JSON
JSON-LD
Search
