EditorialSpecial issue on Automated Specification and Verification of Web Systems
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.
Copyright © 2013 Elsevier Inc. All rights reserved.