Workshop Increasing the Practical Impact of Formal Methods for Computer Aided Software Development: Software Slicing, Merging and Integration (1993 : Monterey, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Monterey, Calif.