Skip to main navigation Skip to search Skip to main content

Automated specification and verification of Web-based applications

  • National Research Council of Italy

Research output: Contribution to journalEditorial

Original languageEnglish
JournalJournal of Logical and Algebraic Methods in Programming
Volume87
Pages (from-to)51-51
DOIs
Publication statusPublished - 2017

Cite this