The 1998 ACM Computing Classification System

Program verification

Program verification

Broader Terms

Date of creation
30-Dec-2011
Accepted term
30-Dec-2011
Descendant terms
0
ARK
ark:/99152/t32krz5mqy890d
More specific terms
0
Alternative terms
0
Related terms
0
Notes
0
Metadata
Search
  • Search Program verification  (Wikipedia (ES))
  • Search Program verification  (Google búsqueda exacta)
  • Search Program verification  (Google scholar)
  • Search Program verification  (Google images)
  • Search Program verification  (Google books)