124
click to vote
TACAS
2010
Springer
15 years 27 days ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...