Wróć do szczegółów artykułu Formalizing of web-services specifications using temporal logics Pobierz Pobierz PDF