menu
help_outline
Search
help_outline
Help
login
Log in
search
account_circle
Main navigation
Home
About
Forecasts
Computing
Research
Learning
Publications
Unifying verification through a Python-wrapped Suite of Tools
Title
Unifying verification through a Python-wrapped Suite of Tools
Presentation
Date Published
2017
Author
Tara Jensen
John Gotway
Minna Winn-Gildenmeister
Julie Prestopnik
Jim Frimmel
G. McCabe
Randy Bullock
Ivanka Stajner
Geoff Manikin
Keywords
workshop
python
Download citation
Google Scholar
BibTeX
Endnote tagged
Marc
EndNote 7 XML
RIS
expand_less
expand_more