Work

A Pragmatic Approach to Verification, Validation and Compilation

Year: 1995

Type: book-chapter

Source: Springer eBooks

DOI: 10.1007/978-1-4615-2203-4_12

Authors: Tomas de Miguel, Arturo Azcorra, Juan Quemada, José A. Mañas

Institution: Universidad Politécnica de Madrid

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W45895258

FWCI:

Cites: 6

Cited by: 1

Related to: 10