# Formal Methods for Components and Objects

**Type:** Papers  
**Canonical URL:** https://scholariq.org/papers/formal-methods-for-components-and-objects/

## Facts

| Field | Value |
| --- | --- |
| Author Names | Frank S. de Boer,Roever, Willem-Paul,Susanne Graf,Marcello Bonsangue |
| Citations | 625 |
| DOI | 10.1007/b100112 |
| Fields | Engineering |
| Open Access | true |
| OA Status | green |
| OA URL | https://inria.hal.science/inria-00001058 |
| OpenAlex ID | https://openalex.org/W2604845086 |
| Type | conference-paper |
| Year | 2004 |

## Paper authors

- [Frank S. de Boer](https://scholariq.org/researchers/frank-s-de-boer/)

## Paper journal

- [Lecture notes in computer science](https://scholariq.org/journals/lecture-notes-in-computer-science/)

## Paper primary topic

- [Manufacturing Process and Optimization](https://scholariq.org/topics/manufacturing-process-and-optimization/)

## Paper topics

- [Manufacturing Process and Optimization](https://scholariq.org/topics/manufacturing-process-and-optimization/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.