Rishabh Singh

	2009
2		Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson: Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE 2009: 342-352
1		Andrey Rybalchenko, Rishabh Singh: Subsumer-First: Steering Symbolic Reachability Analysis. SPIN 2009: 192-204

Coauthor Index

1	Zev Benjamin	[2]
2	Daniel Jackson	[2]
3	Aleksandar Milicevic	[2]
4	Joseph P. Near	[2]
5	Derek Rayside	[2]
6	Andrey Rybalchenko	[1]

Colors in the list of coauthors