Tahun Terbit Jurnal

Judul Artikel

Static Checking of System Behaviors Using Derived Component Assumptions, page 239-272

Pengarang Artikel

Paola Inverardi, [et all]

ISSN/ISBN

1049-331X

Volume Jurnal

9(2000): 3

Penerbit Jurnal

New York: The Association for Computing Machinery

Edisi Jurnal

Nama Jurnal

ACM TRANS. ON SOFTWARE ENGINEERING AND METHODOLOGY