Parole chiave di "1st FME workshop on formal methods in software engineering (FormaliSE 2013)"
- Label
- Parole chiave di "1st FME workshop on formal methods in software engineering (FormaliSE 2013)" (literal)
- Keywords of "1st FME workshop on formal methods in software engineering (FormaliSE 2013)" (literal)
- Insieme di parole chiave di
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha membro
- D.2.4 Software/Program Verification (Parola chiave)
- Formal methods (Parola chiave)
- Software engineering (Parola chiave)
Incoming links:
- Insieme di parole chiave
- 1st FME workshop on formal methods in software engineering (FormaliSE 2013) (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Membro di
- Software engineering (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- Formal methods (Parola chiave)
