Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
Primary LanguageTeX