Compositional Shape Analysis by means of Bi−abduction

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ:	Calcagno, C, Distefano, D, O’Hearn, P, Yang, H
Ձևաչափ:	Conference item
Հրապարակվել է:	ACM 2009

Նմանատիպ նյութեր