A logic-based formalization for component specification

Juliana Bowles

Research output: Contribution to journal › Article

8 Citations (Scopus)

Original language	English
Pages (from-to)	231-248
Number of pages	18
Journal	Journal of Object Technology, Special Issue, TOOLS USA 2002 proceedings
Volume	1
Issue number	3
Publication status	Published - 1 Jan 2002

Cite this

@article{cece6896d3974b4f9940196e813a9321,

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

author = "Juliana Bowles",

year = "2002",

month = jan,

day = "1",

language = "English",

volume = "1",

pages = "231--248",

journal = "Journal of Object Technology, Special Issue, TOOLS USA 2002 proceedings",

publisher = "Journal of Object Technology",

number = "3",

}