ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "lightweight formal verification"
lightweight formal verification
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
Verification of Use-Cases with FOAM Tool in Context of Cloud Providers
2015 |
Ústřední knihovna, Matematicko-fyzikální fakulta