Analyzing Refinements of State Based Specifications: The Case of TB Nets.

Miguel Felder, Carlo Ghezzi, Mauro Pezz

Browse the full ISSTA paper archive.