Information Processing Letters

Paper

15 Feb 1988

The date refinement calculator for Z specifications

View publication

Abstract

No abstract available.

Related

Demo paper

Automated Relational Data Explanation using External Semantic Knowledge

Conference paper

Perfection Not Required? Human-AI Partnerships in Code Translation

Poster

Development and use of a software platform applied towards the automated synthesis of carbonate monomers and machine learning applications

Short paper

DASH: Visual Analytics for Debiasing Image Classification via User-Driven Synthetic Data Augmentation

View all publications