Victor B. F. Gomes

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 16

Top Topics

Interval Algebra

Replicated Data

Construction Industry

Top Venues

Arch. Formal Proofs

Proc. ACM Program. Lang.

Publications