Work

Compositional software verification based on game semantics and process algebra

Year: 2006

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-006-0005-y

Authors: Aleksandar Dimovski, Ranko Lazić

Institution: University of Warwick

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2051883613

FWCI: 0.551

Cites: 30

Cited by: 20

Related to: 9