Are their Design Specifications Consistent with our Requirements?

Alexander Kozlenkov, Andrea Zisman

Browse the full RE paper archive.