• On verification of the software development processKumlander, DenissInnovations and advances in computing, informatics, systems sciences, networking and engineering2015 / p. 339-343 https://doi.org/10.1007/978-3-319-06773-5_45 https://www.scopus.com/sourceid/19700186822 https://www.scopus.com/record/display.uri?eid=2-s2.0-84921898714&origin=inward&txGid=4836c92d1256023a24b0fd49c257de5b