A Property Description Framework for Composable Software.

Alexander Frmmgen, Max Lehn, Alejandro P. Buchmann

Browse the full ECSA paper archive.