by Raedts, I.G.J. and Petkovic, M., Serebrenik, A. and Werf, J.M.E.M. van der and Somers, L.J.A.M. and Boote, M.
Reference:
A software framework for automated verification (Raedts, I.G.J. and Petkovic, M., Serebrenik, A. and Werf, J.M.E.M. van der and Somers, L.J.A.M. and Boote, M.), In Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea (Cho, Y., Wainwright, R.L., Haddad, H., Shin, S.Y., Koo Y.W., eds.), ACM Press, New York, USA, 2007.
Bibtex Entry:
@inproceedings{sfwav,
  author = {Raedts, {I.G.J.} and Petkovic, {M.} and Serebrenik, {A.} and Werf, {J.M.E.M. van der} and Somers, {L.J.A.M.} and Boote, {M.}},
  year = {2007},
  title = {A software framework for automated verification},
  editor = {Cho, {Y.} and Wainwright, {R.L.} and Haddad, {H.} and Shin, {S.Y.} and Koo {Y.W.}},
  booktitle = {Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC 2007) 11-15 March 2007 Seoul, Korea},
  pages = {1031 -- 1032},
  publisher = {ACM Press,  New York, USA}
}

A software framework for automated verification