Work

Systems and Software Verification

Year: 2001

Type: book

Source: Springer eBooks

DOI: 10.1007/978-3-662-04558-9

Authors: Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie

Institutions: École Normale Supérieure Paris-Saclay, Centre National de la Recherche Scientifique, Laboratoire Spécification et Vérification, Université de Montréal

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W198918365

FWCI: 10.8

Cites: 3

Cited by: 650

Related to: 10