Editorial for the JLAMP Special Issue on automated specification and verification of web systems

António Ravara, Josep Silva

Cite this