Formális módszerekkel 2.

• egy megfogalmazott keresőkérdés, keresési paraméterek és találatok