Challenges of Multilingual Program Specification and Analysis.

Carlo A. Furia, Abhishek Tiwari

Browse the full ISoLA paper archive.