Dangos 1 - 5 canlyniadau o 5 ar gyfer chwilio '"Specification techniques."', amser ymholiad: 0.02e Mireinio'r Canlyniadau
  1. 1

    Compositional refinement of interactive systems. gan Broy, Manfred

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Compositional refinement of interactive systems.
  2. 2

    Relational analysis of algebraic datatypes. gan Kuncak, Viktor

    Erthygl

    Relational analysis of algebraic datatypes.
  3. 3

    Interface automata. gan De Alfaro, Luca

    Erthygl

    Interface automata.
  4. 4

    Modular verification of collaboration-based software designs. gan Fisler, Kathi

    Erthygl

    Modular verification of collaboration-based software designs.
  5. 5

    Register-machine based processes. gan Bergstra, Jan A.

    Cyhoeddwyd yn Journal of the ACM
    Erthygl

    Register-machine based processes.

Offerynnau Chwilio: