1.Previous
3.Next

* Carlo Ghezzi, Mehdi Jazayeri, Dino Mandrioli: Fundamentals of Software Engineering, Prentice Hall,
* Alan L. Breitler: A Verification Procedure for Software Derived from Artificial Neural Networks, Journal of the International Test and Evaluation Association, Jan 2004, Vol 25, No 4.
* Vijay D'Silva, Daniel Kroening, Georg Weissenbacher:

1.Previous
3.Next