Keywords of "iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session"
- Label
- Keywords of "iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session" (literal)
- Parole chiave di "iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session" (literal)
- Insieme di parole chiave di
- iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session (Curatela) (Prodotto della ricerca)
- Ha membro
- formal methods (Parola chiave)
- D.2 SOFTWARE ENGINEERING (Parola chiave)
- D.2.4 Software/Program Verification (Parola chiave)
- tools for formal analysis and verification (Parola chiave)
Incoming links:
- Insieme di parole chiave
- iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session (Curatela) (Prodotto della ricerca)
- Membro di
- D.2.4 Software/Program Verification (Parola chiave)
- D.2 SOFTWARE ENGINEERING (Parola chiave)
- formal methods (Parola chiave)
- tools for formal analysis and verification (Parola chiave)
