Certified programs and proofs First International Conference, CPP 2011, Kenting, Taiwan, December 7 - 9, 2011; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	CPP (BerichterstatterIn)
Weitere Verfasser:	Jouannaud, Jean-Pierre (HerausgeberIn), Shao, Zhong (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2011
Schriftenreihe:	Lecture notes in computer science 7086
Schlagworte:	Konferenzschrift > Automatisches Beweisverfahren > Verifikation > Formale Methode > HOL > Isabelle > Interaktives Beweissystem > Programmverifikation > Formale Spezifikationstechnik > Typprüfung
Online Zugang:	Inhaltstext Cover Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!