Specifying Implementations.

Laureano Lambn, Vico Pascual, Julio Rubio

Browse the full ISSAC paper archive.