Work

Improving Eiffel Assertions Using Quantified Iterators

Year: 1996

Type: article

Source: Dialnet (Universidad de la Rioja)

Authors: Miguel Katrib Mora, Jesüs Coira

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2244637570

FWCI:

Cites: 6

Cited by: 5

Related to: 10