Verification of program computations

Saarbrücken, Universität des Saarlandes, Diss., 2015 Saarbrücken, Universität des Saarlandes, Diss., 2015

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Rizkallah, Christine
Format:	Web Resource
Sprache:	eng ; ger
Schlagworte:	certifying algorithms Computer Science Dijkstra algorithm, specification, file system Dijkstra-Algorithmus, Verfikation, Dateisystem Informatik Isabelle/HOL theorem proving verification
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	Saarbrücken, Universität des Saarlandes, Diss., 2015 Saarbrücken, Universität des Saarlandes, Diss., 2015