My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Record 2 of 2
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Cover Art
Author VMCAI 2004 (2004 : Venice, Italy)

Title Verification, model checking, and abstract interpretation : 5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings / Bernhard Steffen, Giorgio Levi (eds).

Published Berlin ; New York : Springer, ©2004.


Location Call No. Status
Physical description xi, 324 pages : illustrations ; 24 cm.
Series Lecture notes in computer science, 0302-9743 ; 2937
Lecture notes in computer science ; 2937. 0302-9743
Springer Lecture Notes in Computer Science
Notes Held in conjunction with POPL 2004, the 31st annual Symposium on Principles of Programming Languages, Jan. 14-16, 2004--Pref.
Bibliography Includes bibliographical references and index.
Contents Security, Protocols, and Trust / J.D. Guttman -- Security Types Preserving Compilation / G. Barthe, A. Basu and T. Rezk -- History-Dependent Scheduling for Cryptographic Processes / V. Vanackere -- Construction of a Semantic Model for a Typed Assembly Language / G. Tan, A.W. Appel, K.N. Swadi and D. Wu -- Rule-Based Runtime Verification / H. Barringer, A. Goldberg, K. Havelund and K. Sen.
Other formats Also available via the World Wide Web.
Other author Steffen, Bernhard.
Levi, G. (Giorgio), 1942-
SpringerLink issuing body.
ACM Symposium on Principles of Programming Languages (31st : 2004 : Venice, Italy)
Subject Computer programs -- Verification -- Congresses.
Conference papers and proceedings.
Venedig (2004)
Kongress -- Venedig -- 2004.
Variant Title VMCAI 2004
ISBN 3540208038