Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Kedar S. Namjoshi | lit.salon

Author

Kedar S. Namjoshi

3 works

2005–2011 across 3 dated works

No biography is available yet.

Start with

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)2005
With Andreas Podelski
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)2006
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers2011

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science)2005
With Andreas Podelski
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Hardware and Software: Verification and Testing: 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers2011
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings (Lecture Notes in Computer Science)2006
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Kedar S. Namjoshi.

The conversation is still open.

There is no public salon activity to show for Kedar S. Namjoshi yet.