UID:
almahu_9947364407402882
Umfang:
XI, 145 p. 30 illus.
,
online resource.
ISBN:
9783642171727
Serie:
Lecture Notes in Computer Science, 6463
Anmerkung:
Programming Inductive Proofs -- Termination Graphs for Java Bytecode -- Specifying and Verifying Organizational Security Properties in First-Order Logic -- Change Management for Heterogeneous Development Graphs -- The VATES-Diamond as a Verifier’s Best Friend -- Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery -- Verifying the Modal Logic Cube Is an Easy Task (For Higher-Order Automated Reasoners) -- Second-Order Programs with Preconditions.
In:
Springer eBooks
Weitere Ausg.:
Printed edition: ISBN 9783642171710
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Festschrift
;
Konferenzschrift
;
Konferenzschrift
DOI:
10.1007/978-3-642-17172-7
URL:
http://dx.doi.org/10.1007/978-3-642-17172-7
URL:
Volltext
(lizenzpflichtig)