Property oriented expansion (0)

by B Steffen
Venue:In Proc. Int. Static Analysis Symposium (SAS’96), LNCS 1145