Skip to main navigation
Skip to search
Skip to main content
University of Huddersfield Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Activities
Projects
Press/Media
Datasets
Student theses
Search by expertise, name or affiliation
The verification of modules
Grigoris Antoniou
Research output
:
Contribution to journal
›
Article
›
peer-review
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'The verification of modules'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Mathematics
Correctness
100%
Module
99%
Assertion
50%
Calculus
39%
Logic
39%
Partial
33%
Concepts
25%