Soundness and Completeness

Popular Tags

No tags have been applied to this document.

Add a tag:

BibTeX | Add To MetaCart

@MISC{Informatik_soundnessand,
    author = {Ur Informatik and Und Praktische Mathematik and Lehrstuhl F and Willem-paul De Roever and Martin Steffen and At Zu Kiel and Frank S. De Boer and Frank S. De Boer},
    title = {Soundness and Completeness},
    year = {}
}