Wyniki wyszukiwania dla: Rosario Pugliese
Service Oriented Computing and Applications > 2017 > 11 > 3 > 265-283
Lecture Notes in Computer Science > Programming Languages and Systems > Models and Languages for Web Services > 33-47
Lecture Notes in Computer Science > Automata, Languages and Programming > Concurrency II > 1226-1238
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification and Testing I > 230-245
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 425-444
Lecture Notes in Computer Science > Concurrency, Graphs and Models > Software Verification > 701-720
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 223-239
IFIP — The International Federation for Information Processing > Exploring New Frontiers of Theoretical Informatics > Track (2) on Logic, Semantics, Specification, and Verification > 577-590
Lecture Notes in Computer Science > Semantics, Applications, and Implementation of Program Generation > Position Papers > 183-198
Lecture Notes in Computer Science > Rigorous Software Engineering for Service-Oriented Systems > Case Studies and Patterns > 698-718