Special issue: program equivalence

Ofer Strichman

doi:10.1007/s10703-018-0318-y

Special issue: program equivalence

Ofer Strichman

Data and Decision Sciences

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	227-228
Number of pages	2
Journal	Formal Methods in System Design
Volume	52
Issue number	3
DOIs	https://doi.org/10.1007/s10703-018-0318-y
State	Published - 1 Jun 2018

All Science Journal Classification (ASJC) codes

Software
Theoretical Computer Science
Hardware and Architecture

Access to Document

10.1007/s10703-018-0318-y

Cite this

@article{395e5ee89fce439b98477e57b8a5d533,

title = "Special issue: program equivalence",

author = "Ofer Strichman",

year = "2018",

month = jun,

day = "1",

doi = "10.1007/s10703-018-0318-y",

language = "الإنجليزيّة",

volume = "52",

pages = "227--228",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "3",

}

TY - JOUR

T1 - Special issue

T2 - program equivalence

AU - Strichman, Ofer

PY - 2018/6/1

Y1 - 2018/6/1

UR - http://www.scopus.com/inward/record.url?scp=85044397985&partnerID=8YFLogxK

U2 - 10.1007/s10703-018-0318-y

DO - 10.1007/s10703-018-0318-y

M3 - كلمة العدد

SN - 0925-9856

VL - 52

SP - 227

EP - 228

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 3

ER -

Special issue: program equivalence

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this