The director of the INCIBE-UPV Chair of Cybersecurity gives a lecture on Maude 3.4 at the University of Porto
This conference focused on the logical reasoning functions of Maude 3.4 and was held in the Faculty of Science of this University that brings together Computer Science, Artificial Intelligence and Mathematics València, November 11 2024 – The director of the INCIBE-UPV Cybersecurity Chair, PhD in Computer Science and professor at the UPV, Santiago Escobar, has […]