APA (7th ed.) Citation

(1993). Industrial strength formal methods: Proceedings. Springer. https://doi.org/10.1007/BFb0024633

Chicago Style (17th ed.) Citation

Industrial Strength Formal Methods: Proceedings. Berlin u.a: Springer, 1993. https://doi.org/10.1007/BFb0024633.

MLA (9th ed.) Citation

Industrial Strength Formal Methods: Proceedings. Springer, 1993. https://doi.org/10.1007/BFb0024633.