Rajeev Alur (auth.)

Showing the single result

{PDF} Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings Rajeev Alur (auth.), Jos? Meseguer, Grigore Ro?u (eds.)