Automated specification and verification of web-based applications

DOI10.1016/J.JLAMP.2016.11.004zbMATH Open1358.00137DBLPjournals/jlp/BeekL17OpenAlexW2556052998WikidataQ56492212 ScholiaQ56492212MaRDI QIDQ511928

Author name not available (Why is that?)

Publication date: 22 February 2017

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.11.004

Mathematics Subject Classification ID

No records found.

This page was built for publication: Automated specification and verification of web-based applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q511928)