The ACM Computing Classification System (CCS)

Semi-formal verification

Semi-formal verification

Alternative terms

Broader Terms

Date of creation
22-Jan-2018
Accepted term
22-Jan-2018
Descendant terms
0
ARK
ark:/99152/t3nv8qndvrz0kd
More specific terms
0
Alternative terms
2
Related terms
0
Notes
0
Metadata
Search
  • Search Semi-formal verification (Wikipedia (ES))
  • Search Semi-formal verification (Google búsqueda exacta)
  • Search Semi-formal verification (Google scholar)
  • Search Semi-formal verification (Google images)
  • Search Semi-formal verification (Google books)