The 1991 ACM Computing Classification System

Program Verification

Program Verification D.2.4

Broader Terms

More specific terms

Related terms

Date of creation
30-Dec-2011
Modified
31-Dec-2011
Accepted term
30-Dec-2011
Descendant terms
4
ARK
ark:/99152/t38ej2no05nxvo
More specific terms
4
Alternative terms
0
Related terms
2
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)