Languages
Ribeiro, Leila.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
Ribeiro, Leila.; Lecomte, Thierry.; SpringerLink (Online service); Brazilian Symposium on Formal Methods (2016 :)
(Electronic resources)
Formal methods teaching = 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024 : proceedings /
by:
Formal Methods Teaching Workshop and Tutorial (2024 :); Sekerinski, E.; Ribeiro, Leila.; SpringerLink (Online service)
(Electronic resources)
Subjects
Software Engineering.
Mathematical Logic and Formal Languages.
Mathematical Logic and Foundations.
Natural Language Processing (NLP)
Logics and Meanings of Programs.
Logic in AI.
Management of Computing and Information Systems.
Control Structures and Microprogramming.
Formal methods (Computer science)
Programming Languages, Compilers, Interpreters.
Computer Application in Social and Behavioral Sciences.
Computer Science.
Simulation and Modeling.