book chapterLecture notes in computer scienceJan 1, 2005Closed access

The Spec# Programming System: An Overview

MBMike BarnettKRK. Rustan M. LeinoWSWolfram Schulte

Microsoft (United States)

Indexed incrossref

Abstract

No abstract available for this paper.

Citation impact

985
total citations
FWCI
156.87
Percentile
100%
References
85
Citations per year

Authors

3

Topics & keywords

Topics
Keywords
  • Spec#
  • Computer science
  • Programming language
  • Compiler
  • Programmer
  • Consistency (knowledge bases)
  • Object-oriented programming
  • Operating system
No related works found for this paper.