Works matching DE "OCLC Cataloging Subsystem"


Results: 16
    1
    2

    The KeY tool.

    Published in:
    Software & Systems Modeling, 2005, v. 4, n. 1, p. 32, doi. 10.1007/s10270-004-0058-x
    By:
    • Ahrendt, Wolfgang;
    • Baar, Thomas;
    • Beckert, Bernhard;
    • Bubel, Richard;
    • Giese, Martin;
    • Hähnle, Reiner;
    • Menzel, Wolfram;
    • Mostowski, Wojciech;
    • Roth, Andreas;
    • Schlager, Steffen;
    • Schmitt, Peter H.
    Publication type:
    Article
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    13
    14
    15
    16