@misc{80394,
  keywords = {workshop, python},
  author = {Tara Jensen and John Gotway and Minna Winn-Gildenmeister and Julie Prestopnik and Jim Frimmel and G. McCabe and Randy Bullock and Ivanka Stajner and Geoff Manikin},
  title = {Unifying verification through a Python-wrapped Suite of Tools},
  year = {2017},
  month = {2017},
  language = {eng},
}