Automated specification and verification of Web-based applications

Publication: ResearchEditorial – Annual report year: 2017

DOI

View graph of relations

Original languageEnglish
JournalJournal of Logical and Algebraic Methods in Programming
DOIs
StateE-pub ahead of print - 2017
CitationsWeb of Science® Times Cited: 0
Download as:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word

ID: 128364600