A Compositional Transformation for Formal Verification.

Eduard Cerny

Browse the full ICCD paper archive.