Diallo, S. Y., Gore, R., Lynch, C. J., & Padilla, J. J. (2016). Formal methods, statistical debugging and exploratory analysis in support of system development: Towards a verification and validation calculator tool. International Journal of Modeling, Simulation & Scientific Computing, 7(1), -1. https://doi.org/10.1142/S1793962316410014
Παραπομπή σε μορφή Chicago (17η εκδ.)Diallo, Saikou Y., Ross Gore, Christopher J. Lynch, και Jose J. Padilla. "Formal Methods, Statistical Debugging and Exploratory Analysis in Support of System Development: Towards a Verification and Validation Calculator Tool." International Journal of Modeling, Simulation & Scientific Computing 7, no. 1 (2016): -1. https://doi.org/10.1142/S1793962316410014.
Παραπομπή σε μορφή MLA (9th εκδ.)Diallo, Saikou Y., et al. "Formal Methods, Statistical Debugging and Exploratory Analysis in Support of System Development: Towards a Verification and Validation Calculator Tool." International Journal of Modeling, Simulation & Scientific Computing, vol. 7, no. 1, 2016, pp. -1, https://doi.org/10.1142/S1793962316410014.