Skip to contents

  3. Alpuente, María [Other] ; IEEE Computer Society, Institute of Electrical and Electronics Engineers

    2nd International Workshop on Automated Specification and Verification of Web Systems, 2006 : WWV '06 ; selected papers from the 2nd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'06) ; special track of the 2nd Biennial Int'l. Symposium on Leveraging Applications of Formal Methods, Verification, and Validation (ISoLA 2006) ; November 19, 2006, Paphos, Cyprus

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2007

  5. Hutchison, David [Other]; Ramalingam, G. [Other]; Steffen, Bernhard [Other]; Sudan, Madhu [Other]; Terzopoulos, Demetri [Other]; Tygar, Doug [Other]; Vardi, Moshe Y. [Other]; Weikum, Gerhard [Other]; Kanade, Takeo [Other]; Kittler, Josef [Other]; Kleinberg, Jon [Other]; Mattern, Friedemann [Other]; Mitchell, John C. [Other]; Naor, Moni [Other]; Nierstrasz, Oscar [Other]; Pandu Rangan, C. [Other]

    Programming Languages and Systems : 6th Asian Symposium, APLAS 2008, Bangalore, India, December 9-11, 2008. Proceedings

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

    Published in: Lecture notes in computer science ; 5356