Login / Signup

Formalizing and Proving Semantic Relations between Specifications by Reflection.

Manuel ClavelNarciso Martí-OlietMiguel Palomino
Published in: AMAST (2004)
Keyphrases