The DeCCo project papers IV Z specification of linker and hexer

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:7624. 255(361 (2003)) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

The DeCCo project papers V Compiler correctness proofs

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:7624. 255(362 (2003)) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

CSP/FDR2 to handel-C translation

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:7624. 255(2003-357) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

A framework for organisational control principles

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:9120. 156(2003/05) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Lazy specialization

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:9120. 156(2003/04) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

Proceedings of the workshop on co-design for embedded real-time systems (CERTS'03)

Includes bibliographical referencesSIGLEAvailable from British Library Document Supply Centre- DSC:7624. 255(2003-364) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Partitioning support for the L4 microkernel

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:7624. 255(366 (2003)) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

A framework for security requirements engineering

Includes bibliographical referencesSIGLEAvailable from British Library Document Supply Centre- DSC:7624. 255(368 (2003)) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

The DeCCo project papers III Z specification of compiler templates

Includes bibliographical referencesAvailable from British Library Document Supply Centre- DSC:7624. 255(360 (2003)) / BLDSC - British Library Document Supply CentreSIGLEGBUnited Kingdo

The DeCCo project papers I Z specification of Pasp

Includes bibliographical referencesSIGLEAvailable from British Library Document Supply Centre- DSC:7624. 255(358 (2003)) / BLDSC - British Library Document Supply CentreGBUnited Kingdo