Towards More Efficient Requirements Formalization: A Study.

Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski

Browse the full REFSQ paper archive.