Bernardo Rodrigues

Publication Activity (10 Years)

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

Top Topics

Classical First Order Logic

Agent Programming

Top Venues

J. Inf. Technol. Educ. Discuss. Cases

Publications

Grandon Gill, Bernardo Rodrigues
Employing Dynamic Logic in Cybersecurity. J. Inf. Technol. Educ. Discuss. Cases 6 (2017)