Work

Implementation-level verification of algorithms with KeY

Year: 2013

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-013-0293-y

Authors: Daniel Bruns, Wojciech Mostowski, Mattias Ulbrich

Institutions: Karlsruhe Institute of Technology, University of Twente

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2050100442

FWCI: 7.825

Cites: 29

Cited by: 16

Related to: 10