Grigoris Antoniou

Grigoris Antoniou is an author at University of Huddersfield specializing in engineering, automated reasoning, and formal methods.

Publications per year

1986–2023

85

Publications

85