Гук, О.; Матіко, Ф.; Скібель, П. Features of Automation of Gas Meter Verification Process Using Bell-Provers. MCIT 2025, 359-361.