DMCA

A unified framework for testing linear-invariant properties (2010)

by Arnab Bhattacharyya , Elena Grigorescu , Asaf Shapira
Venue:In Proceedings of the 51st Annual IEEE Symposium on Foundations of Computer Science
Citations:16 - 6 self