Work

Verification of abstract state machines

Year: 2021

Type: book

Source: OPUS (Augsburg University)

Author: Schellhorn, Gerhard ca. 20./21. Jh.

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7034528291

FWCI: 0.117

Cites:

Cited by: 1

Related to: 10