Luciano Kelvin

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 1

Top Topics

Formal Language

Modeling Language

Top Venues

Publications

Thiago C. de Sousa, Luciano Kelvin, Constantino D. Neto, Carlos Giovanni Nunes de Carvalho
A Formal Semantics for Use Case Diagram Via Event-B. J. Softw. 12 (3) (2017)