指定した検索語 - program verification process basic microarray https~ - に合致する資料はありませんでした。

少々検索語を変更した方が良いでしょう。:
program verification » formal verification
basic microarray » based microarray, bac microarray, based microarrays
microarray https » microarrays https, microarray chips, microscopy https
process basic » processes basic, progress basic, process based

検索結果が意図したものでない場合は、検索語を変更してもう一度検索してください。