Deakin University / All Locations

Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-4 of 4)
Namjoshi, Kedar S.
1 2007 Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings ATVA (Symposium) (5th : 2007 : Tokyo, Japan) Rating: Electronic Resources More...
2 2011 Hardware and software, verification and testing : 5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009 : revised selected papers International Haifa Verification Conference (5th : 2009 : Haifa, Isarel) Rating: Electronic Resources More...
3 2021 Static analysis : 28th international symposium, SAS 2021, Chicago, IL, USA, proceedings International Static Analysis Symposium (28th : 2021 : Chicago, Ill.) Rating: Electronic Resources More...
4 2006 Verification, model checking, and abstract interpretation : 7th international conference, VMCAI 2006, Charleston, SC, USA, january 8-10, 2006 : proceedings VMCAI 2006 (2006 : Charleston, S.C.) 1st ed Rating: Electronic Resources More...
Add Marked to Bag Add All On Page Locate in results

Automated technology for verification and analysis : 5th international symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 : proceedings