Nadia Polikarpova


AuthID: R-00H-HV8

Publicações a aguardarem confirmação

1
TITLE: Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
AUTHORS: Nadia Polikarpova; Steve Schneider;
PUBLISHED: 2017, SOURCE: IFM, VOLUME: 10510
INDEXED IN: DBLP

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service