Trioo - Keeping the Semantics of Data Safe and Sound into Object-oriented Software.

Sergio Fernndez, Diego Berrueta, Miguel Garca Rodrguez, Jos Emilio Labra Gayo

Browse the full ICSoft paper archive.