Parallelism in Development and Verification

If you previously registered to access LDRA resources, please enter your email address and request a link to this material. Welcome back!

If you have not previously registered, then welcome! Please click on the orange button below to register for access to LDRA resources.