Open Access
Journal Homepage
ISSN (Online) 1972-5787
Published By University of Bologna
SUBJECTS : Formalization | Verification | Checking | Reasoning