Title: Ėlementy analiza programm
Subjects: Computer programs, Verification