Property Preserving Redesign of Specifications.

Artur Zawlocki, Grzegorz Marczynski, Piotr Kosiuczenko

Browse the full CALCO paper archive.