Prototyping Object Oriented Specifications in an Algebraic Environment.

Jos Ambrosio Toval lvarez, Isidro Ramos, Oscar Pastor

Browse the full DEXA paper archive.