Perhaps you should try some spelling variations:
verification programming » specification programming, identification programming, verification program
program verification » formal verification
microsoft microarray » microrna microarray, microbes microarray, microarray microarray
microarray chips » microarray chip, microarrays chip, microarray cross

You may be able to get more results by adjusting your search query.

• Performing a fuzzy search may retrieve terms with similar spellings: program verification programming microsoft microarray chips~.
• Adding a wildcard symbol may retrieve word variants: program verification programming microsoft microarray chips*.