Workshop Increasing the Practical Impact of Formal Methods for Computer Aided Software Development: Evolution Control for Large Software Systems Techniques for Integrating Software Development Environments (1994 : Monterey, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Monterey, Calif.