APA (7th ed.) Citation

International Workshop on Tool Support for System Specification, Development and Verificaion, Berghammer, R., & Lakhnech, Y. (1999). Tool support for system specification, development and verification. Springer.

Chicago Style (17th ed.) Citation

International Workshop on Tool Support for System Specification, Development and Verificaion, R. Berghammer, and Y. Lakhnech. Tool Support for System Specification, Development and Verification. Wien: Springer, 1999.

MLA (9th ed.) Citation

International Workshop on Tool Support for System Specification, Development and Verificaion, et al. Tool Support for System Specification, Development and Verification. Springer, 1999.