Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Zaccai, Diego Sebastian"'
Autor:
Zaccai, Diego Sebastian
Current tools used to verify software in languages with reference semantics, such as Java, are hampered by the possibility of aliases. Existing approaches to addressing this long-standing verification problem try not to sacrifice modularity because m
Externí odkaz:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1461243619
