Leila Ribeiro
Identifiers
- Open LibraryOL432835A
Top Subjects
- Computer software, development (1)
Books by Leila Ribeiro
Total count: 3
-
Graph TransformationsThird International Conference, ICGT 2006, Rio Grande Do Norte, Brazil, September 17-23, 2006, ProceedingsSpringer London, Limited2006-01-01
-
Formal Methods : Foundations and Applications19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, ProceedingsSpringer International Publishing AG2016-01-01
-
Formal Methods Teaching6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, ProceedingsSpringer2024-01-01