Skip to content

Formal Semantics of Model Fields in Annotation-Based Specifications.

Bernhard Beckert, Daniel Bruns

Year2012
ProceedingsKI

Browse the full KI paper archive.