Editorial
Special issue on Automated Specification and Verification of Web Systems

https://doi.org/10.1016/j.jlap.2013.05.007Get rights and content
Under an Elsevier user license
open archive

Cited by (0)

1

The work of Laura Kovács is partially supported by the FWF grants T425-N23 and S11410-N23.