Skip to main content

ETHNOS_APP

Home • Search • Journals • List 0

Limor Fix

Biographic Data

ID10789634
NAMELimor Fix
GIVEN NAMESLimor
FAMILY NAMEFix
SIGNATUREFIX L
AFFILIATIONSTechnion – Israel Institute of Technology
VERIFIEDNo
TOTAL WORKS1
TOTAL CITATIONS0
WORKS AS AUTHOR1
WORKS AS EDITOR0
FIRST PUBLICATION YEAR1991
LATEST PUBLICATION YEAR1991
H-INDEX0
  • Program composition and modular verification

    Limor Fix, Nissim Francez et al.•CHAPTER•Automata, Languages and Programming•1991

No prominent works on this page.

  • Program composition and modular verification

    Limor Fix, Nissim Francez et al.•CHAPTER•Automata, Languages and Programming•1991

Composition (language) (1 work) · Computer Science (1 work) · Distributed computing (1 work) · Distributed systems and fault tolerance (1 work) · Formal Methods in Verification (1 work) · Logic, programming, and type systems (1 work) · Model checking (1 work) · Modular design (1 work) · Modularity (biology) (1 work) · Programming language (1 work)

Ethnos_APP • Open Source Project • MIT License • Frontend v2.0.0 • Privacy and Cookies • API Documentation: api.ethnos.app/docs • API Source Code: GitHub • DOI: 10.5281/zenodo.17049435 • Frontend Source Code: GitHub • DOI: 10.5281/zenodo.17050053 • cruz.rio.br • Expectantes Misericordiae