Skip to content Skip to main menu Skip to search

Keywords – Semantic Specification

Zinovy Diskin, Boris Kadish and Frank Piessens
Humans, Computers, Specifications

The Arrow Logic of Information System Engineering