R.B. Nannapaneni - Concepedia

Author

R.B. Nannapaneni

Also Known As

R.B. Nannapaneni

Publications

Citations

H-Index

Concepts

All Affiliations

R.B. Nannapaneni is an author at Arizona State University specializing in formal specification, formal methods, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	1	1	42
2	Computer Science	1	1	42
3	Relational Queries	1	1	42
4	Software Analysis	1	1	42
5	Software Engineering	1	1	42

R.B. Nannapaneni

Publications

Citations

H-Index

Page 1

	Year	Citations
The implementation and evaluation of integrity maintenance rules in an object-oriented database Susan D. Urban, Anton P. Karadimce, R.B. Nannapaneni Software MaintenanceEngineeringConstraintsVerificationSoftware Engineering	2003	42

Page 1