Work

A Pragmatic Approach to Formal Specification

Year: 2007

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-0-585-27524-6_4

Author: Maritta Heisel

Institution: Technische Universität Berlin

Language: English

Topic: Software Engineering Techniques and Practices

Subfield: Information Systems

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1469848055

FWCI:

Cites: 15

Cited by: 3

Related to: 10