Joining specification statements (1999)

by K R M Leino, R Manohar
Venue:Theoretical Comp. Sci