APA (7th ed.) Citation

Silva, J. L., Campos, J. C., & Paiva, A. C. R. (2008). Model-based user interface testing with Spec Explorer and ConcurTaskTrees.

Chicago Style (17th ed.) Citation

Silva, José L., José Creissac Campos, and Ana C. R. Paiva. Model-based User Interface Testing with Spec Explorer and ConcurTaskTrees. 2008.

MLA (8th ed.) Citation

Silva, José L., et al. Model-based User Interface Testing with Spec Explorer and ConcurTaskTrees. 2008.

Warning: These citations may not always be 100% accurate.