Expression-Based Aliasing for OO–languages

Communications in Computer and Information Science - Formal Techniques for Safety-Critical Systems ◽

10.1007/978-3-319-17581-2_4 ◽

2015 ◽

pp. 47-61

Author(s):

Georgiana Caltais

Download Full-text