Static and dynamic integrity properties patterns.

Tobias Rauter, Andrea Hller, Johannes Iber, Christian Kreiner

Browse the full EuroPLop paper archive.