Paper Info
Title
Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX.
Year
DOI
Venue
2020
10.1007/978-3-030-63618-0_3
VSTTE
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Vadim Zaliva120.76
Ilia Zaichuk200.34
Franz Franchetti397488.39