University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 9841–9870 of 25,815 items
Thumbnail for Making Formal Verification Trustworthy via Proof Generation
Making Formal Verification Trustworthy via Proof Generation
Lin, Zhengyao; Chen, Xiaohong; Trinh, Minh-Thai; Wang, John; Rosu, Grigore

Thumbnail for Front Matter
Front Matter
Submitter: Howard Ding

Thumbnail for access: v.24, no.01, Spring 2011
access: v.24, no.01, Spring 2011
National Center for Supercomputing Applications (NCSA)