Perhaps you should try some spelling variations:
verification programming » specification programming, identification programming, verification program
deductive verification » runtime verification
programming function » programming functional, programming functionals, programme function
function microarray » function microarrays, functional microarray, function micrornas
microarray https » microarrays https, microarray chips, microscopy https

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

• Performing a fuzzy search may retrieve terms with similar spellings: deductive verification programming function microarray https~.
• Adding a wildcard symbol may retrieve word variants: deductive verification programming function microarray https*.