Technologies for Finding Errors in Object-Oriented Software (Lecture 1)

  • Rustan Leino

Summer school on Formal Models of Software Tunis, Tunisia |

Published by Microsoft Research

公開日

BibTexをダウンロード

Semantics of procedural languages.