An Introduction to Test Specification in FQL (bibtex)
by Andreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut Veith
Reference:
An Introduction to Test Specification in FQLAndreas Holzer, Christian Schallhart, Michael Tautschnig, Helmut VeithProceedings of 6th International Haifa Verification Conference (HVC 2011) (Sharon Barner, Ian G. Harris, Daniel Kroening, Orna Raz, eds.), volume 6504 of Lecture Notes in Computer Science, pages 9-22, October 2011, Springer.
Bibtex Entry:
@inproceedings{holzer:schallhart:tautschnig:veith:hvc10,
  author = {Andreas Holzer and Christian Schallhart and Michael Tautschnig and Helmut Veith},
  title = {An Introduction to Test Specification in {FQL}},
  month = {October},
  year = {2011},
  booktitle = {Proceedings of 6th International Haifa Verification Conference (HVC 2011)},
  editor = {Sharon Barner and Ian G. Harris  and Daniel Kroening and Orna Raz},
  pages = {9-22},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = {6504},
  isbn = {978-3-642-19582-2}
}
Powered by bibtexbrowser