Media type: E-Article Title: Lecture Notes in Computer Science: Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification Contributor: Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir Published: Springer International Publishing, 2020 Published in: Lecture Notes in Computer Science (2020), Seite 90-111 Language: Not determined DOI: 10.1007/978-3-030-39322-9_5 ISBN: 9783030393212; 9783030393229 ISSN: 0302-9743; 1611-3349 Origination: Footnote: