Login / Signup
Specification and refinement of a buffer of length one.
Manfred Broy
Published in:
NATO ASI DPD (1996)
Keyphrases
</>
high level
total length
database
databases
website
expert systems
feature vectors
business processes
formal specification
fixed length
refinement process