Work

Execution Time Program Verification with Tight Bounds

Year: 2023

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-24841-2_4

Authors: Ana Carolina Silva, Manuel Barbosa, Mário Florido

Institutions: Universidade do Porto, INESC TEC

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W4313799985

FWCI:

Cites: 30

Cited by:

Related to: 10