Pulse Explorar nav.journalClub Debates Tendências Pesquisadores

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

Download on theApp Store

Início Explorar nav.journalClub Tendências

⌘+K

M. V. Neyzov | Synapse

MV

M. V. Neyzov

Formal Methods in Verification

Russian Academy of Sciences

About

Research focus

Formal Methods in Verification

Impact

3 pubs · 2 cites · h-index 1

Affiliations

Work Experience

Russian Academy of Sciences

2025 - 2025

Institute of Automation and Electrometry

2025 - 2025

Publications