Work

Template-based program verification and program synthesis

Year: 2012

Type: article

Source: International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-012-0223-4

Authors: Saurabh Srivastava, Sumit Gulwani, Jeffrey S. Foster

Institutions: University of California System, University of California, Berkeley, Microsoft (United States), University of Maryland, College Park

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2044458395

FWCI: 6.169

Cites: 72

Cited by: 98

Related to: 10