Work

Specifying Reusable Components

Year: 2010

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-15057-9_9

Authors: Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer

Institution: ETH Zurich

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1840133978

FWCI: 0.197

Cites: 9

Cited by: 15

Related to: 10