Showing 1 - 2 results of 2 for search 'BYU ScholarsArchive', query time: 0.67s Refine Results
  1. 1
    Verifying Abstract Components Within Concrete Software Environments
    by Bao, Tonglaga
    Published 2009
    “...BYU ScholarsArchive...”
    Get full text
    Get full text
    Others
  2. 2
    Disk Based Model Checking
    by Bao, Tonglaga
    Published 2004
    “...BYU ScholarsArchive...”
    Get full text
    Get full text
    Others
Search Tools: Get RSS Feed — Email this Search