@incollection{Soomro08,
author = {Safeeullah Soomro},
title = {Verification Based Model Localizes Faults from Procedural Programs},
booktitle = {Frontiers in Robotics, Automation and Control},
publisher = {IntechOpen},
address = {Rijeka},
year = {2008},
editor = {Alexander Zemliak},
chapter = {4},
doi = {10.5772/6334},
url = {https://doi.org/10.5772/6334}
}