Abstract interpretation of mobile systems (2005)

by J Feret
Venue:Journal of Logic and Algebraic Programming