Work

Verifying Sequential Programs in Untrusted Environments

Year: 2024

Type: conference-paper

Source: International Conference on Parallel, Distributed and Grid Computing (PDGC)

DOI: 10.1109/pdgc64653.2024.10983975

Author: Renju Rajeev

Language: English

Topic: Distributed systems and fault tolerance

Subfield: Computer Networks and Communications

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4410228665

FWCI:

Cites: 5

Cited by:

Related to: 10