Jirí Vinárek, Viliam Simko, Petr Hnetynka. Verification of Use-Cases with FOAM Tool in Context of Cloud Providers. In 41st Euromicro Conference on Software Engineering and Advanced Applications, EUROMICRO-SEAA 2015, Madeira, Portugal, August 26-28, 2015. pages 151-158, IEEE, 2015. [doi]
Abstract is missing.