Work

Discovering Algebraic Specifications from Java Classes

Year: 2003

Type: conference-paper

Source: Lecture notes in computer science

Parent work: ECOOP 2003 – Object-Oriented Programming: 17th European Conference, Darmstadt, Germany, July 21-25, 2003. Proceedings

DOI: 10.1007/978-3-540-45070-2_19

Authors: Johannes Henkel, Amer Diwan

Institution: University of Colorado Boulder

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2129304537

FWCI: 7.692

Cites: 62

Cited by: 119

Related to: 10