Automatic Generation of CSP || B Skeletons from xUML Models.

Edward Turner, Helen Treharne, Steve A. Schneider, Neil Evans

Browse the full ICTAC paper archive.