Edinburgh Research Archive

Idiomatic framework for the automated synthesis of topographical information from behavioural specifications

Abstract

This item appears in the following Collection(s)