Wyniki wyszukiwania dla: Nazareno M. Aguirre
Fundamenta Informaticae > 2019 > Vol. 166, nr 4 > 297--347
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Logics > 306-321
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Model Checking and Analysis > 207-225
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Modeling > 155-170
IEEE Transactions on Software Engineering > 2015 > 41 > 7 > 639 - 660