Work

Moving Fast with Software Verification

Year: 2015

Type: conference-paper

Source: Lecture notes in computer science

Parent work: NASA Formal Methods: 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings

DOI: 10.1007/978-3-319-17524-9_1

Authors: Cristiano Calcagno, Dino Distefano, Jeremy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter O’Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Institution: Meta (United States)

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Austrian Science Fund

Award: Coordination: Rigorous Systems Engineering (RiSE)

OpenAlex ID: W777621473

FWCI: 13.53

Cites: 12

Cited by: 309

Related to: 10