Author of the publication

Test-Driven Javascript Development

. Developer's Library Addison-Wesley Professional, First edition, (September 2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Test-Driven Javascript Development. Developer's Library Addison-Wesley Professional, First edition, (September 2010)Generating Posets Beyond N., , , and . CoRR, (2019)A stable non-interleaving early operational semantics for the pi-calculus., , and . J. Log. Algebraic Methods Program., (2019)SAT modulo discrete event simulation applied to railway design capacity analysis., , , and . Formal Methods Syst. Des., 57 (2): 211-245 (2021)A multidisciplinary definition of privacy labels., , , , , , , , and . Inf. Comput. Secur., 30 (3): 452-469 (2022)Dynamic structural operational semantics., and . J. Log. Algebraic Methods Program., (2019)Drawing with SAT: four methods and A tool for producing railway infrastructure schematics., and . Formal Aspects Comput., 33 (6): 829-854 (2021)Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus., , and . CONCUR, volume 243 of LIPIcs, page 30:1-30:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Stable Non-interleaving Early Operational Semantics for the Pi-Calculus., , and . LATA, volume 10168 of Lecture Notes in Computer Science, page 51-63. (2017)Automated verification of dynamic root of trust protocols (long version)., , and . CoRR, (2017)