Test derivation for SDL based on ACTs.

Finn Kristoffersen, Louis Verhaard, Michael Zeeberg

Browse the full FORTE paper archive.