Editorial for the JLAMP special issue on automated specification and verification of web systems
scientific article