Workshop Increasing the Practical Impact of Formal Methods for Computer Aided Software Development: Specification Based Software Architectures (1995 : Monterey, Calif.) Bezüge im Wissensnetz Veranstaltungsort (1) GND Monterey, Calif.