Parole chiave di "Preface to iFM&ABZ 2012"
- Label
- Parole chiave di "Preface to iFM&ABZ 2012" (literal)
- Keywords of "Preface to iFM&ABZ 2012" (literal)
- Insieme di parole chiave di
- Preface to iFM&ABZ 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Ha membro
- F.3.1 Specifying and Verifying and Reasoning about Programs (Parola chiave)
- Formal methods (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- Preface to iFM&ABZ 2012 (Curatela) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1501)
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- Formal methods (Parola chiave)
- F.3.1 Specifying and Verifying and Reasoning about Programs (Parola chiave)
