Search results for: Felipe M. G. França
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Web Science > 462-472
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Web Science > 462-472