Objet : 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