Exploiting independence for verification, refinement, and modularity

Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review

Original language	American English
Title of host publication	Models, Algebras and Logic of Engineering Software
Subtitle of host publication	NATO Science Series, III: Computer and Systems Sciences
Editors	M Broy, M Pizka
Pages	195-209
Volume	191
State	Published - Jun 2003

Keywords

@inbook{e6f1a103fb3c45d2b0ea68216a9f82e9,

title = "Exploiting independence for verification, refinement, and modularity",

keywords = "Computer Sciences, Mathematics, Statistics",

author = "Shmuel Katz",

year = "2003",

month = jun,

language = "American English",

isbn = "978-1-58603-342-2",

volume = "191",

pages = "195--209",

editor = "M Broy and M Pizka",

booktitle = "Models, Algebras and Logic of Engineering Software",

}

TY - CHAP

T1 - Exploiting independence for verification, refinement, and modularity

AU - Katz, Shmuel

PY - 2003/6

Y1 - 2003/6

KW - Computer Sciences

KW - Mathematics

KW - Statistics

UR - https://www.iospress.com/catalog/books/models-algebras-and-logic-of-engineering-software

M3 - Chapter

SN - 978-1-58603-342-2

VL - 191

SP - 195

EP - 209

BT - Models, Algebras and Logic of Engineering Software

A2 - Broy, M

A2 - Pizka, M

ER -