Constructing Specifications by Combining Parallel Elaborations. Tech. Rep. RS-88-216, USC/Information Sciences Institute (1987)

by M FEATHER
Venue:In Current Trends in Programming Methodology