Special issue on automated specification and verification of web systems
type: Item
instance of: scholarly article
title: Special issue on automated specification and verification of web systems
zbMATH Open document ID: 1298.00311
published in: The Journal of Logic and Algebraic Programming
publication date: 2014-02-25T00:00:00Z
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68M11
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6261384
MaRDI profile type: Publication
full work available at URL: j.jlap.2013.05.007
OpenAlex ID: W2078448066
Wikidata QID: Q57650647
DOI: 10.1016/J.JLAP.2013.05.007
description: scientific article