Tag: FormalMethods

  • Tematy, o których teraz się mówi No163

    Jak oszukać boty kreatywne techniki obrony przed web-crawlerami • Od COBOL do Kotlin modernizacja z użyciem metod formalnych • Notatki o projektowaniu języków programowania • Human Fovea Detector