Preface to the special issue "sI: Satisfiability modulo theories"

Ofer Strichman; Daniel Kroening

doi:10.1007/s10703-012-0172-2

Preface to the special issue "sI: Satisfiability modulo theories"

Ofer Strichman, Daniel Kroening

Data and Decision Sciences

Technion - Israel Institute of Technology

Research output: Contribution to journal › Editorial

Original language	English
Pages (from-to)	1-2
Number of pages	2
Journal	Formal Methods in System Design
Volume	42
Issue number	1
DOIs	https://doi.org/10.1007/s10703-012-0172-2
State	Published - Feb 2013

All Science Journal Classification (ASJC) codes

Software
Theoretical Computer Science
Hardware and Architecture

Access to Document

10.1007/s10703-012-0172-2

Cite this

@article{a7e6d48d82ce4b4bbbb9b899e23ee32a,

title = "Preface to the special issue {"}sI: Satisfiability modulo theories{"}",

author = "Ofer Strichman and Daniel Kroening",

year = "2013",

month = feb,

doi = "10.1007/s10703-012-0172-2",

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

volume = "42",

pages = "1--2",

journal = "Formal Methods in System Design",

issn = "0925-9856",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - Preface to the special issue "sI

T2 - Satisfiability modulo theories"

AU - Strichman, Ofer

AU - Kroening, Daniel

PY - 2013/2

Y1 - 2013/2

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

U2 - 10.1007/s10703-012-0172-2

DO - 10.1007/s10703-012-0172-2

M3 - كلمة العدد

SN - 0925-9856

VL - 42

SP - 1

EP - 2

JO - Formal Methods in System Design

JF - Formal Methods in System Design

IS - 1

ER -

Preface to the special issue "sI: Satisfiability modulo theories"

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Cite this