Subject: Software Quality Journal - Special Issue on Testing and Verification

Description: Announcements related to the special issue of the Software Quality Journal on Formal Methods for Testing and Verification