Iain Ireland, José Nelson Amaral, Raúl Silvera, Shimin Cui. SafeType: detecting type violations for type-basedalias analysis of C. Software: Practice and Experience, 46(11):1571-1588, 2016. [doi]
No references recorded for this publication.
No citations of this publication recorded.