| |
      |
                                          |
Note: Links lead to the DBLP on the Web. Liying Sui Alin Deutsch , Monica Marcus , Liying Sui, Victor Vianu , Dayou Zhou : A Verifier for Interactive, Data-Driven Web Applications. SIGMOD Conference 2005 Alin Deutsch , Liying Sui, Victor Vianu : Specification and Verification of Data-driven Web Services. PODS 2004 : 71-82 1 [ 1 ] [ 2 ] 2 [ 2 ] 3 [ 1 ] [ 2 ] 4 [ 2 ]  ©2005 Association for Computing Machinery |
