Search Results for the EPA National Library Catalog

Items Found: 1
Showing: Items 1 - 1
Your Search: (SUBJECT=Compilers Computer programs Congresses)

Sort Results: Publication dates (newest-oldest) Publication dates (oldest-newest) Title

Choose a Library: (CTRL-CLICK for multiple libraries) Search all libraries Capital Group(All DC-area libraries) AWBERC Library/Cincinnati,OH CCTE/GLTED Library/Duluth,MN CEMM/ACESD Library/Narragansett,RI CEMM/EPD Library/Athens,GA CEMM/GEMMD Library/Gulf Breeze,FL CPHEA/PESD Library/Corvallis,OR Env Science Center Library/Ft Meade,MD Headquarters Library/Washington,DC Law Library/Washington,DC NRMRL/GWERD Library/Ada,OK NVFEL Library/Ann Arbor, MI OCSPP Chemical Library/Washington,DC Region 1 Library/Boston,MA Region 2 Library/New York,NY Region 3 Library/Philadelphia, PA Region 4 Library/Atlanta,GA Region 5 Library/Chicago,IL Region 6 Library/Dallas,TX Region 8 Technical Library/Denver,CO Region 9 Library/San Francisco,CA Region 10 Library/Seattle,WA Research Triangle Park Library/RTP, NC

Choose a Collection: (CTRL-CLICK for multiple collections) Search all collections books documents journals reference audiovisual ebooks

Select Item	Title	Year Published
1	Verified software : theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /	2014

Save, Print or Email Selected Records

Select Records

Selected (this page only) Selected (across pages) All (this page only) All (all pages - 500 item maximum)

Select Format

Text (Brief Information) Text (Full Information) Endnote (Endnote Import) ASCII delimited for EXCEL

Email Address:
(if applicable)