P. Emelyanov

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006

1 EE P. Emelyanov: Analysis of Equality Relationships for Imperative Programs CoRR abs/cs/0609092: (2006)