257 research outputs found

    Refining formal specifications of human computer interaction by graph rewrite rules

    Full text link
    corecore