Work

The Spec# Programming System

Year: 2012

Type: article

Authors: Rosemary Monahan, K. Rustan M. Leino

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Economic and Social Research Council

Award: Methods of analysis and inference for social survey data within the framework of latent variable modeling and pairwise likelihood

OpenAlex ID: W27734296

FWCI: 9.253

Cites:

Cited by: 20

Related to: 10