Biblio

Export 3 results:
Sort by:
Filters: Author is A. Singh  [Clear All Filters]
2016
Polys, N., and A. Singh, "A Novel level-Of-Detail Technique for Virtual City Environments", 21th International Conference on 3D Web Technology (Web3D '16): ACM, 07/16, 2016.
2008
Kulczycki, G., and A. Singh, "Proving Correctness for Pointer Programs in a Verifying Compiler", The Sixth NASA Langley Formal Methods Workshop, Newport News, VA, April 2008.
2007