Fully Abstract Operation Contracts.

Richard Bubel Reiner Hähnle Maria Pelevina

Published in: ISoLA (2) (2014)

Keyphrases

low level
high level
artificial intelligence
information systems
special case
supply chain
data sets
preprocessing