Theorem proving with the COQ proof assistant
HamidNadeem Abdul · Journal of computing sciences in colleges · 2008
The burgeoning complexity of software systems and our societal dependence on technology has brought safety and correctness assurance to the forefront of concerns in the software development industr...