Work

Flexible Correct-by-Construction Programming

Year: 2023

Type: article

Source: KITopen

DOI: 10.5445/ir/1000160537

Authors: Runge, Tobias, Bordis, Tabea, Potanin, Alex, Thüm, Thomas, Schaefer, Ina

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7124936710

FWCI:

Cites:

Cited by:

Related to: 10