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

António Ravara, Josep Silva

Research output: Contribution to journalEditorial

Original languageEnglish
Article number44
Pages (from-to)483-484
Number of pages2
JournalJournal of Logical and Algebraic Methods in Programming
Volume84
Issue number4
DOIs
Publication statusPublished - 8 Aug 2015

Cite this