Lucas Lima

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 10

Top Topics

Sequence Diagrams

Formal Semantics

Top Venues

Sci. Comput. Program.

Softw. Syst. Model.

Publications