Giustolisi, Rosario.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Modelling and verification of secure exams by: Giustolisi, Rosario.; SpringerLink (Online service) (Language materials, printed)

Modelling and Verification of Secure Exams by: Giustolisi, Rosario.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Mathematical logic. Application software. Information Systems and Communication Service. Data Structures and Information Theory. Data Structures, Cryptology and Information Theory. Test-taking skills. Revision and Exam. Computer Appl. in Administrative Data Processing. Computer networks Computers. Data structures (Computer science). Computer Science. Computer security. Mathematical Logic and Formal Languages.