> Details

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

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: E-Book; Conference Proceedings
  • Title: 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
  • Contributor: Alpuente, María [Other]
  • Corporation: IEEE Computer Society ; Institute of Electrical and Electronics Engineers
  • Published: Los Alamitos, Calif. [u.a.]: IEEE Computer Society, 2007
  • Extent: Online-Ressource
  • Language: English
  • ISBN: 0769528260; 9780769528267
  • Keywords: World Wide Web > Formale Spezifikationstechnik > Programmverifikation
  • Origination:
  • Footnote: Includes bibliographical references and author index
    Parallel als Buch-Ausg. erschienen u.d.T.: Automated specification and verification of web systems