APA (7th ed.) Citation

Berghammer, R., & Lakhnech, Y. (1999). Tool Support for System Specification, Development and Verification. Springer Vienna.

Chicago Style (17th ed.) Citation

Berghammer, Rudolf, and Y. Lakhnech. Tool Support for System Specification, Development and Verification. Vienna: Springer Vienna, 1999.

MLA (9th ed.) Citation

Berghammer, Rudolf, and Y. Lakhnech. Tool Support for System Specification, Development and Verification. Springer Vienna, 1999.