Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst. Parameter reference immutability: formal definition, inference tool, and comparison. Automated Software Engineering, 16(1):145-192, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.