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

António Ravara, Josep Silva

Research output: Contribution to journalEditorialpeer-review

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

Cite this