Formal specification techniques (extended abstract)
ICSE '94 Proceedings of the 16th international conference on Software engineering
Proof verification and the hardness of approximation problems
Journal of the ACM (JACM)
Multi-linearity Self-Testing with Relative Error
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Hi-index | 0.00 |