Refinement Laws for Verifying Library Subroutine Adaptation

C. Fidge, P. Robinson, S. Dunne

Research output: Contribution to conferencePaperpeer-review

149 Downloads (Pure)

Fingerprint Dive into the research topics of 'Refinement Laws for Verifying Library Subroutine Adaptation'. Together they form a unique fingerprint.

Engineering & Materials Science