Automated Specification Extraction and Analysis with Specstractor.

Christoph Schulze, Rance Cleaveland, Mikael Lindvall

Browse the full SEFM paper archive.