János Demetrovics

• Computer-aided specification techniques