1 research outputs found

    J.UCS Special Issue on Formal Specifications of Computer-Based Systems

    No full text
    J.UCS Special Issue on Formal Specifications of Computer-Based System
    corecore