Pericles Philippopoulos

Pericles Philippopoulos is an author at McGill University specializing in engineering, formal verification, and formal methods.

Publications per year

2017–2023

6

Publications

6