Julkaisu

Reference

Sere K. A formalization of superposition refinement. Julkaisussa: Proceedings of the 2nd Israel Symposium on Theory of Computing and Systems, IEEE June 1993, Natanya, Israel, s. 222-230

Julkaisutiedot

Julkaisutyyppi: Artikkeli konferenssijulkaisussa.
Kansainvälinen.

Publication data

Publication type: Paper in proceedings, extended abstracts.
International.


Tekijät

Contributors

Kuopion yliopisto

University of Kuopio

  • Department of Computer Science

Julkaisutietokanta 15.4.2008 Publications Data Base 15.4.2008