CITATION STYLE
Jategaonkar Jagadeesan, L., Porter, A., Puchol, C., Ramming, J. C., & Votta, L. G. (1998). Specification-based Testing of Reactive Software: A Case Study in Technology Transfer. Journal of Systems and Software, 40(3), 249–262.
Mendeley helps you to discover research relevant for your work.