Catalogue of System and Software Properties.

Victor Bos, Harold Bruintjes, Stefano Tonetta

Browse the full SAFECOMP paper archive.