TY  - RPRT
TI  - Challenges of Multilingual Program Specification and Analysis
AU  - Carlo A. Furia
AU  - Abhishek Tiwari
PY  - 2024
UR  - https://arxiv.org/abs/2407.11661
ID  - 2407.11661
ER  -