DMCA

Description Logics for Shape Analysis (2005)

by Lilia Georgieva
Venue:In Proc. 3rd SEFM
Citations:9 - 1 self