Verification of Scheme Plans Using CSP $$||$$ | | B. - James, Phillip; Moller, Faron; Nguyen, Hoang Nga; Roggenbach, Markus; Schneider, Steve A.; Treharne, Helen; Trumble, Matthew; Williams, David M. (2013)