Leila Ribeiro

No bio available. Add one in Open Library.

Books by Leila Ribeiro (50 max)

+ shelf+ list

Formal Methods : Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings

2016

Leila Ribeiro, Thierry Lecomte

+ shelf+ list

A telephone's system specification using graph grammars

1996

Leila Ribeiro

+ shelf+ list

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

2024

Emil Sekerinski, Leila Ribeiro