Formalizing (web) standards: an application of test and proof

Brucker, A.D. orcid.org/0000-0002-6355-1200 and Herzberg, M. (2018) Formalizing (web) standards: an application of test and proof. In: Dubois, C. and Wolff, B., (eds.) Tests and Proofs. 12th International Conference, TAP 2018, 27-29 Jun 2018, Toulouse, France. Lecture Notes in Computer Science, 10889 . Springer-Verlag , pp. 159-166. ISBN 978-3-319-92994-1

Abstract

Metadata

Authors/Creators:
Copyright, Publisher and Additional Information: © 2018 Springer International Publishing AG, part of Springer Nature. This is an author produced version of a paper subsequently published in Tests and Proofs (LNCS, 10889). Uploaded in accordance with the publisher's self-archiving policy.
Keywords: standard compliance; compliance tests; DOM
Dates:
  • Published (online): 6 July 2018
  • Published: 6 July 2018
Institution: The University of Sheffield
Academic Units: The University of Sheffield > Faculty of Engineering (Sheffield) > Department of Computer Science (Sheffield)
Depositing User: Symplectic Sheffield
Date Deposited: 06 Sep 2018 11:29
Last Modified: 06 Sep 2018 11:29
Published Version: https://doi.org/10.1007/978-3-319-92994-1_9
Status: Published
Publisher: Springer-Verlag
Series Name: Lecture Notes in Computer Science
Refereed: Yes
Identification Number: https://doi.org/10.1007/978-3-319-92994-1_9

Share / Export

Statistics