Publications

A Perspective on Component Refinement

AuthID
P-000-5R6

Author(s)

Barbosa, LS

Editor(s)

DeBoer, FS; Bonsangue, MM; Graf, S; DeRoever, WP

Document Type

Article

Year published

2005

Published

in FORMAL METHODS FOR COMPONENTS AND OBJECTS in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 3657, Pages: 23-48 (26)

Conference

3Rd International Symposium on Formal Methods for Components and Objects, Date: NOV 02-05, 2004, Location: Leiden, NETHERLANDS, Sponsors: Dutch Org Sci Res, European Project IST 2001 33522 Omega, Lorentz Ctr, Royal Netherlands Acad Arts & Sci, Dutch Inst Programming Res & Algorithm, Centrum Wiskunde Informat, Leiden Inst Adv Comp Sci

Indexing