Formalizing EARS - First Impressions.

Levi Lucio, Tahira Iqbal

Browse the full RE paper archive.