Work

Component Contract-Based Formal Specification Technique

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11424857_91

Authors: Ji-Hyun Lee, Hye-Min Noh, Cheol-Jung Yoo, Ok-Bae Chang

Institution: Jeonbuk National University

Language: English

Topic: Advanced Software Engineering Methodologies

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1534314088

FWCI:

Cites: 13

Cited by:

Related to: 10