SCHOLARLY PUBLICATION

The Spec# Programming System: An Overview

Mike Barnett, K. Rustan M. Leino, Wolfram Schulte

📖 Lecture notes in computer science 📅 2005-01-01 🔗 DOI: 10.1007/978-3-540-30569-9_3

View Official Paper ↗

📄 Abstract

The abstract has not yet been added. Use the official source link for the complete publication record.

ℹ️ Publication Details

Journal: Lecture notes in computer science
Published: 2005-01-01
DOI: 10.1007/978-3-540-30569-9_3
OpenAlex: W1959256509
Access: Via publisher

📋 Cite This Paper

Mike Barnett, K. Rustan M. Leino, Wolfram Schulte (2005). The Spec# Programming System: An Overview. Lecture notes in computer science. https://doi.org/10.1007/978-3-540-30569-9_3

🔬 Related Research Papers

Lecture notes in computer science

Ask, Attend and Answer: Exploring Question-Guided Spatial Attention for Visual Question Answering

Huijuan J. Xu, Kate Saenko 2016-01-01 · Read paper → Lecture notes in computer science

Business Process Management Workshops

F CALORE, D LOMBARDI et al. 2008-01-01 · Read paper → Lecture notes in computer science

The Scyther Tool: Verification, Falsification, and Analysis of Security Protocols

Cas J. F. Cremers 2008-08-12 · Read paper → Lecture notes in computer science

DBR: Depth-Based Routing for Underwater Sensor Networks

Hai Yan, Zhijie Jerry Shi, Jun‐Hong Cui 2008-01-01 · Read paper → Lecture notes in computer science

The Bittorrent P2P File-Sharing System: Measurements and Analysis

Johan A. Pouwelse, Paweł Garbacki et al. 2005-01-01 · Read paper → Lecture notes in computer science

Deep Image Retrieval: Learning Global Representations for Image Search

Albert Gordo, Jon Almazán et al. 2016-01-01 · Read paper →

📄 Abstract

🔬 Related Research Papers

Improved Garbled Circuit: Free XOR Gates and Applications

FHEW: Bootstrapping Homomorphic Encryption in Less Than a Second

Advances in Cryptology – CRYPTO 2019

Formalising Java’s Data Race Free Guarantee

PRINCE – A Low-Latency Block Cipher for Pervasive Computing Applications

How Unique Is Your Web Browser?