Pulse एक्सप्लोर nav.journalClub बहसें ट्रेंडिंग शोधकर्ता

Join discussions, follow papers, and never miss your next session.

Download on theApp Store

होम एक्सप्लोर nav.journalClub ट्रेंडिंग

⌘+K

James Haydon | Synapse

JH

James Haydon

Formal Methods in Verification

National Institute of Informatics

About

Research focus

Formal Methods in Verification

Impact

7 pubs · 30 cites · h-index 3

Affiliations

Work Experience

National Institute of Informatics

2022 - 2024

Publications