Open access

Verification Based Model Localizes Faults from Procedural Programs

Written By

Safeeullah Soomro

Published: 01 October 2008

DOI: 10.5772/6334

From the Edited Volume

Frontiers in Robotics, Automation and Control

Edited by Alexander Zemliak

Chapter metrics overview

2,060 Chapter Downloads

View Full Metrics

Written By

Safeeullah Soomro

Published: 01 October 2008