Valentin Goranko


AuthID: R-00H-B5A

Publications Requiring Validation

1
TITLE: 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden
AUTHORS: Valentin Goranko; Mads Dam;
PUBLISHED: 2017, SOURCE: CSL, VOLUME: 82
INDEXED IN: DBLP

footer slogan

Useful Links

Get Help

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