A logic-based formalization for component specification

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	231-248
Journal	Journal of Object Technology
Volume	1
Issue number	3
Publication status	Published - Jul 2002

Cite this

@article{ae6c31a9725e432db87f451d67cf9cc3,

title = "A logic-based formalization for component specification",

author = "Bowles, {Juliana Kuster Filipe}",

year = "2002",

month = jul,

language = "English",

volume = "1",

pages = "231--248",

journal = "Journal of Object Technology",

issn = "1660-1769",

publisher = "Association Internationale pour les Technologies Objets",

number = "3",

}

TY - JOUR

T1 - A logic-based formalization for component specification

AU - Bowles, Juliana Kuster Filipe

PY - 2002/7

Y1 - 2002/7

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

UR - http://www.jot.fm//issues/issue_2002_08/article13

M3 - Article

SN - 1660-1769

VL - 1

SP - 231

EP - 248

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 3

ER -