Ruy J. G. B. de Queiroz

Publication Activity (10 Years)

Years Active: 1990-2024
Publications (10 Years): 36

Top Topics

Security Threats

Natural Deduction

Software Packages

Top Venues

J. Comput. Syst. Sci.

Publications