EPSRC logo
Researcher Details
 
Name: Dr G Parlato
Organisation: University of Molise
Department: UNLISTED
Current EPSRC-Supported Research Topics:

Current EPSRC Support
There is no current EPSRC Support
Previous EPSRC Support
EP/M008991/1 CONSEQUENCER: Sequentialization-based Verification of Concurrent Programs with FIFO channels(P)
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator